[Summary view]

Differences Between: [Versions 401 and 403]

   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;