filter/tex/displaytex.php

   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     print_error('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>