. /** * Plugin administration pages are defined here. * * @package mod_subsection * @category admin * @copyright 2023 Amaia Anabitarte * @license https://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later */ defined('MOODLE_INTERNAL') || die(); if ($hassiteconfig) { $settings = new admin_settingpage('mod_subsection_settings', new lang_string('pluginname', 'mod_subsection')); // phpcs:ignore Generic.CodeAnalysis.EmptyStatement.DetectedIf if ($ADMIN->fulltree) { } }