[Summary view]

   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  namespace core_admin\table;
  18  
  19  use moodle_url;
  20  
  21  /**
  22   * Tiny admin settings.
  23   *
  24   * @package core_admin
  25   * @copyright 2023 Andrew Lyons <andrew@nicols.co.uk>
  26   * @license http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
  27   */
  28  class editor_management_table extends \core_admin\table\plugin_management_table {
  29      protected function get_plugintype(): string {
  30          return 'editor';
  31      }
  32  
  33      public function guess_base_url(): void {
  34          $this->define_baseurl(
  35              new moodle_url('/admin/settings.php', ['section' => 'manageeditors'])
  36          );
  37      }
  38  
  39      protected function get_action_url(array $params = []): moodle_url {
  40          return new moodle_url('/admin/editors.php', $params);
  41      }
  42  
  43      protected function order_plugins(array $plugins): array {
  44          global $CFG;
  45  
  46          // The Editor list is stored in an ordered string.
  47          $activeeditors = explode(',', $CFG->texteditors);
  48  
  49          $sortedplugins = [];
  50          foreach ($activeeditors as $editor) {
  51              if (isset($plugins[$editor])) {
  52                  $sortedplugins[$editor] = $plugins[$editor];
  53                  unset($plugins[$editor]);
  54              }
  55          }
  56  
  57          $otherplugins = parent::order_plugins($plugins);
  58          return array_merge(
  59              $sortedplugins,
  60              $otherplugins
  61          );
  62      }
  63  }