- Added configurable setting for path to mimetex binary
- Moved language strings from lang/en/admin.php to lang/en/filter_tex.php
- Config settings now stored in table config_plugins and retrieved
through get_config
- Added upgrade step to move TeX settings to the config_plugins table
and delete settings from the config table
AMOS BEGIN
MOV [configconvertformat,core_admin],[configconvertformat,filter_tex]
MOV [convertformat,core_admin],[convertformat,filter_tex]
MOV [latexpreamble,core_admin],[latexpreamble,filter_tex]
MOV [latexsettings,core_admin],[latexsettings,filter_tex]
MOV [pathconvert,core_admin],[pathconvert,filter_tex]
MOV [pathdvips,core_admin],[pathdvips,filter_tex]
MOV [pathlatex,core_admin],[pathlatex,filter_tex]
AMOS END
It seems some TeX installs use a convert utility that renders poor quality
images when using the GIF format, but render good ones when using PNG. If
all the needed tools are available, let the admin choose the preferred
output format.
Merged from MOODLE_19_STABLE
be used if it works on the server, otherwise mimetex is used as before.
Produces rather nicer images, and the full range of formatting can be used,
rather than mimetex's limited set.
Daniel Thies