wikimedia/mediawiki-extensions-Math
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Math synced 2024-11-11 16:58:38 +00:00
Code Issues Packages Projects Releases Wiki Activity

Removed the ⁡ MathML entity. This entity doesn't

Browse source 
survive sanitizing.  It can be rendered by the corresponding unicode
character, but this doesn't display correctly without the proper fonts
installed.
This commit is contained in:
Nicholas Longo 2011-05-14 03:04:08 +00:00
parent e9f24f5264
commit a7dc3ef012
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
math/mathml.ml
View file

@ -18,7 +18,7 @@ let render_mathml_tree = function
TREE_MN s -> "<mn>"^s^"</mn>"
| TREE_MI s -> "<mi>"^s^"</mi>"
| TREE_MO s -> "<mo>"^s^"</mo>"
| TREE_MF s -> "<mi>"^s^"</mi><mo>&ApplyFunction;</mo>"
| TREE_MFB (s,b) -> "<mi>"^s^"</mi><mo>&ApplyFunction;</mo>"^"<mo>"^b^"</mo>"
| TREE_MF s -> "<mi>"^s^" </mi>"
| TREE_MFB (s,b) -> "<mi>"^s^"</mi>"^"<mo>"^b^"</mo>"
let render tree = try Some (Util.mapjoin render_mathml_tree (make_mathml_tree ([],tree))) with _ -> None