Search moodle.org's
Developer Documentation

See Release Notes
Long Term Support Release

  • Bug fixes for general core bugs in 4.1.x will end 13 November 2023 (12 months).
  • Bug fixes for security issues in 4.1.x will end 10 November 2025 (36 months).
  • PHP version: minimum PHP 7.4.0 Note: minimum PHP version has increased since Moodle 4.0. PHP 8.0.x is supported too.

Differences Between: [Versions 310 and 401] [Versions 311 and 401] [Versions 39 and 401] [Versions 400 and 401]

   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   * This script displays tex source code, it is used also from the algebra filter.
  19   *
  20   * @package    filter
  21   * @subpackage tex
  22   * @copyright  2004 Zbigniew Fiedorowicz fiedorow@math.ohio-state.edu
  23   *             Originally based on code provided by Bruno Vernier bruno@vsbeducation.ca
  24   * @license    http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
  25   */
  26  
  27  
  28  define('NO_MOODLE_COOKIES', true); // Because it interferes with caching
  29  
  30  require('../../config.php');
  31  
  32  if (!filter_is_enabled('tex') and !filter_is_enabled('algebra')) {
  33      throw new \moodle_exception('filternotenabled');
  34  }
  35  
  36  $texexp = optional_param('texexp', '', PARAM_RAW);
  37  
  38  $title = get_string('source', 'filter_tex')
  39  
  40  ?>
  41  <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
  42  <html>
  43    <head>
  44      <title><?php echo $title; ?></title>
  45      <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
  46    </head>
  47    <body>
  48      <div>
  49        <dl>
  50        <dt><?php echo $title; ?>:</dt>
  51          <dd><?php p($texexp); ?></dd>
  52        </dl>
  53      </div>
  54    </body>
  55  </html>