AutorÃa | Ultima modificación | Ver Log |
<?php// This file is part of Moodle - http://moodle.org///// Moodle is free software: you can redistribute it and/or modify// it under the terms of the GNU General Public License as published by// the Free Software Foundation, either version 3 of the License, or// (at your option) any later version.//// Moodle is distributed in the hope that it will be useful,// but WITHOUT ANY WARRANTY; without even the implied warranty of// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the// GNU General Public License for more details.//// You should have received a copy of the GNU General Public License// along with Moodle. If not, see <http://www.gnu.org/licenses/>./*** Defines classes used for plugin info.** @package core* @copyright 2019 Andrew Nicols <andrew@nicols.co.uk>* @license http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later*/namespace core\plugininfo;use moodle_url;defined('MOODLE_INTERNAL') || die();/*** Class for H5P libraries.*/class h5plib extends base {/*** Defines if there should be a way to uninstall the plugin via the administration UI.** @return bool*/public function is_uninstall_allowed(): bool {return true;}/*** H5P versions cannot be disabled.** @return boolean*/public function is_enabled(): bool {return true;}/*** Return URL used for management of plugins of this type.* @return moodle_url*/public static function get_manage_url(): \moodle_url {return new moodle_url('/admin/settings.php', ['section' => 'h5psettings']);}/*** Loads plugin settings to the settings tree** This function usually includes settings.php file in plugins folder.* Alternatively it can create a link to some settings page (instance of admin_externalpage)** @param \part_of_admin_tree $adminroot* @param string $parentnodename* @param bool $hassiteconfig whether the current user has moodle/site:config capability*/public function load_settings(\part_of_admin_tree $adminroot, $parentnodename, $hassiteconfig) {global $CFG, $USER, $DB, $OUTPUT, $PAGE; // In case settings.php wants to refer to them.$ADMIN = $adminroot; // May be used in settings.php.$plugininfo = $this; // Also can be used inside settings.php.if (!$this->is_installed_and_upgraded()) {return;}if (!$hassiteconfig) {return;}if (file_exists($this->full_path('settings.php'))) {include($this->full_path('settings.php'));}}}