lib/editor/tiny/settings.php

   1 <?php
   2 // This file is part of Moodle - http://moodle.org/
   3 //
   4 // Moodle is free software: you can redistribute it and/or modify
   5 // it under the terms of the GNU General Public License as published by
   6 // the Free Software Foundation, either version 3 of the License, or
   7 // (at your option) any later version.
   8 //
   9 // Moodle is distributed in the hope that it will be useful,
  10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 // GNU General Public License for more details.
  13 //
  14 // You should have received a copy of the GNU General Public License
  15 // along with Moodle.  If not, see <http://www.gnu.org/licenses/>.
  16
  17 /**
  18  * Tiny admin settings.
  19  *
  20  * @package    editor_tiny
  21  * @copyright  2022 Huong Nguyen <huongnv13@gmail.com>
  22  * @license    http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
  23  */
  24
  25 defined('MOODLE_INTERNAL') || die;
  26
  27 $ADMIN->add('editorsettings', new admin_category('editortiny', $editor->displayname, $editor->is_enabled() === false));
  28
  29 $settings = new admin_settingpage('editorsettingstiny', new lang_string('settings', 'editor_tiny'));
  30 $settings->add(new \core_admin\admin\admin_setting_plugin_manager(
  31     'tiny',
  32     \editor_tiny\table\plugin_management_table::class,
  33     'editor_tiny_settings',
  34     get_string('editorsettings', 'editor'),
  35 ));
  36
  37 if ($ADMIN->fulltree) {
  38     $setting = new admin_setting_configcheckbox(
  39         'editor_tiny/branding',
  40         new lang_string('branding', 'editor_tiny'),
  41         new lang_string('branding_desc', 'editor_tiny'),
  42         1
  43     );
  44
  45     $settings->add($setting);
  46 }
  47
  48 // Note: We add editortiny to the settings page here manually rather than deferring to the plugininfo class.
  49 // This ensures that it shows in the category list too.
  50 $ADMIN->add('editortiny', $settings);
  51
  52 foreach (core_plugin_manager::instance()->get_plugins_of_type('tiny') as $plugin) {
  53     /** @var \editor_tiny\plugininfo\tiny $plugin */
  54     $plugin->load_settings($ADMIN, 'editortiny', $hassiteconfig);
  55 }
  56
  57 // Required or the editor plugininfo will add this section twice.
  58 unset($settings);
  59 $settings = null;