. /** * License manager page. * * @package tool_licensemanager * @copyright 2019 Tom Dickman * @license http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later */ require_once('../../../config.php'); require_once($CFG->libdir . '/adminlib.php'); require_once($CFG->libdir . '/licenselib.php'); require_admin(); $action = optional_param('action', '', PARAM_ALPHANUMEXT); $license = optional_param('license', '', PARAM_NOTAGS); // Route via the manager. $licensemanager = new \tool_licensemanager\manager(); $PAGE->set_context(context_system::instance()); $PAGE->set_url(\tool_licensemanager\helper::get_licensemanager_url()); $PAGE->set_title(get_string('licensemanager', 'tool_licensemanager')); $licensemanager->execute($action, $license);