Gecko [ admjudic.com.br ]

Name	Size	Permission
classes	[ DIR ]	drwxr-xr-x
db	[ DIR ]	drwxr-xr-x
lang	[ DIR ]	drwxr-xr-x
tests	[ DIR ]	drwxr-xr-x
README.mimetex	11.3 KB	-rw-r--r--
displaytex.php	1.72 KB	-rw-r--r--
filter.php	8.35 KB	-rw-r--r--
latex.php	6.91 KB	-rw-r--r--
lib.php	5.99 KB	-rw-r--r--
mimetex.darwin	2.78 MB	-rwxr-xr-x
mimetex.exe	1.36 MB	-rwxr-xr-x
mimetex.freebsd	1.35 MB	-rwxr-xr-x
mimetex.linux	1.67 MB	-rwxr-xr-x
mimetex.linux.aarch64	1.7 MB	-rwxr-xr-x
pix.php	3.06 KB	-rw-r--r--
readme_moodle.txt	1.02 KB	-rw-r--r--
settings.php	4.97 KB	-rw-r--r--
texdebug.php	15.54 KB	-rw-r--r--
thirdpartylibs.xml	229 B	-rw-r--r--
version.php	1.15 KB	-rw-rw-r--

Code Editor : displaytex.php

<?php
// This file is part of Moodle - http://moodle.org/
//
// Moodle is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// Moodle is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with Moodle.  If not, see <http://www.gnu.org/licenses/>.

/**
 * This script displays tex source code, it is used also from the algebra filter.
 *
 * @package    filter
 * @subpackage tex
 * @copyright  2004 Zbigniew Fiedorowicz fiedorow@math.ohio-state.edu
 *             Originally based on code provided by Bruno Vernier bruno@vsbeducation.ca
 * @license    http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
 */

define('NO_MOODLE_COOKIES', true); // Because it interferes with caching

require('../../config.php');

if (!filter_is_enabled('tex') and !filter_is_enabled('algebra')) {
    print_error('filternotenabled');
}

$texexp = optional_param('texexp', '', PARAM_RAW);

$title = get_string('source', 'filter_tex')

?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
  <head>
    <title><?php echo $title; ?></title>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
  </head>
  <body>
    <div>
      <dl>
      <dt><?php echo $title; ?>:</dt>
        <dd><?php p($texexp); ?></dd>
      </dl>
    </div>
  </body>
</html>

${this.title}

Code Editor : displaytex.php