[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   * Moodle Component Library.
  19   *
  20   * Redirect helper for js documentation.
  21   *
  22   * @package    tool_componentlibrary
  23   * @copyright  2021 Andrew Lyons <andrew@nicols.co.uk>
  24   * @license    http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
  25   */
  26  
  27  require_once(__DIR__ . '/../../../config.php');
  28  require_once($CFG->dirroot . '/lib/filelib.php');
  29  
  30  require_login();
  31  require_capability('moodle/site:configview', context_system::instance());
  32  
  33  $jsdocdir = "{$CFG->dirroot}/jsdoc";
  34  if (file_exists($jsdocdir) && is_dir($jsdocdir)) {
  35      $relativepath = get_file_argument();
  36      redirect(new moodle_url("/jsdoc/$relativepath}"));
  37  }
  38  
  39  $PAGE->set_pagelayout('base');
  40  $PAGE->set_url(new moodle_url('/admin/tool/componentlibrary/jsdocspage.php'));
  41  $PAGE->set_context(context_system::instance());
  42  $title = get_string('pluginname', 'tool_componentlibrary');
  43  $PAGE->set_heading($title);
  44  $PAGE->set_title($title);
  45  
  46  echo $OUTPUT->header();
  47  echo $OUTPUT->box(get_string('runjsdoc', 'tool_componentlibrary'));
  48  echo $OUTPUT->footer();