Closed Bug 760707 Opened 8 years ago Closed 8 years ago

Allow layout/mathml/updateOperatorDictionary.pl to download and convert the W3C dictionary

Categories

(Core :: MathML, defect)

defect
Not set

Tracking

()

RESOLVED FIXED
mozilla16

People

(Reporter: fredw, Assigned: fredw)

Details

Attachments

(1 file)

I open this bug just to add new commands to layout/mathml/updateOperatorDictionary.pl

"./updateOperatorDictionary.pl download" will download the file unicode.xml from "XML Entity Definitions for Characters" and convert it to the simple dictionary.xml file.

"./updateOperatorDictionary.pl clean" will allow to clean up temporary files.

To do the XSLT conversion, I've used the XML::LibXSLT module which seems much more efficient than XML::XSLT. So I've also replaced XML::DOM by XML::LibXML.
Attached patch Patch V1Splinter Review
Attachment #629366 - Flags: review?(karlt)
Attachment #629366 - Flags: review?(karlt) → review+
Keywords: checkin-needed
https://hg.mozilla.org/integration/mozilla-inbound/rev/db442eb60f9a
Flags: in-testsuite-
Keywords: checkin-needed
Target Milestone: --- → mozilla16
https://hg.mozilla.org/mozilla-central/rev/db442eb60f9a
Status: ASSIGNED → RESOLVED
Closed: 8 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.