[Summary view]

Differences Between: [Versions 401 and 402] [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  if ($ADMIN->fulltree) {
  31      $setting = new admin_setting_configcheckbox(
  32          'editor_tiny/branding',
  33          new lang_string('branding', 'editor_tiny'),
  34          new lang_string('branding_desc', 'editor_tiny'),
  35          1
  36      );
  37  
  38      $settings->add($setting);
  39  }
  40  
  41  foreach (core_plugin_manager::instance()->get_plugins_of_type('tiny') as $plugin) {
  42      /** @var \editor_tiny\plugininfo\tiny $plugin */
  43      $plugin->load_settings($ADMIN, 'editortiny', $hassiteconfig);
  44  }
  45  
  46  // Note: We add editortiny to the settings page here manually rather than deferring to the plugininfo class.
  47  // This ensures that it shows in the category list too.
  48  $ADMIN->add('editortiny', $settings);
  49  
  50  // Required or the editor plugininfo will add this section twice.
  51  unset($settings);
  52  $settings = null;