mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Math
synced 2024-11-13 17:56:59 +00:00
c4d9349786
* (bug 14202) $wgUseTeX has been superseded by the Math extension. To re-enable math conversion after upgrading, obtain the Math extension from SVN or from http://www.mediawiki.org/wiki/Extension:Math and add to LocalSettings.php: require_once "$IP/extensions/Math/Math.php"; This is an initial stab, and a few things remain to be cleaned up: * messages need to be moved from core to extension * MW_MATH_* constants should be moved to the extension from core * old back-compat math names interfaces using those constants should be removed from message files * classic edit toolbar's math button should be added from the extension (or else dropped) -- currently there's not a clean hook, but could do it by JS * couple of things like the 'armourMath' function on Language & LanguageConverter may want to be redone just as an unconditional, if that's simpler. Setting $wgUseTeX alone will no longer have any affect. The var's still there for the moment as a few bits still need to be fully moved out from core.
25 lines
668 B
OCaml
25 lines
668 B
OCaml
exception LexerException of string
|
|
let lexer_token_safe lexbuf =
|
|
try Lexer.token lexbuf
|
|
with Failure s -> raise (LexerException s)
|
|
|
|
let rec foo () =
|
|
try
|
|
let line = input_line stdin in
|
|
(try
|
|
let tree = Parser.tex_expr lexer_token_safe (Lexing.from_string line) in
|
|
(match Html.render tree with
|
|
Some _ -> print_string "$^\n"
|
|
| None -> print_string "$_\n";
|
|
)
|
|
with
|
|
Texutil.Illegal_tex_function s -> print_string ("$T" ^ s ^ " " ^ line ^ "\n")
|
|
| LexerException s -> print_string ("$L" ^ line ^ "\n")
|
|
| _ -> print_string ("$ " ^ line ^ "\n"));
|
|
flush stdout;
|
|
foo ();
|
|
with
|
|
End_of_file -> ()
|
|
;;
|
|
foo ();;
|