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

RESOLVED FIXED in mozilla16

Status

()

Core
MathML
RESOLVED FIXED
5 years ago
5 years ago

People

(Reporter: fredw, Assigned: fredw)

Tracking

Trunk
mozilla16
Points:
---
Bug Flags:
in-testsuite -

Firefox Tracking Flags

(Not tracked)

Details

Attachments

(1 attachment)

(Assignee)

Description

5 years ago
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.
(Assignee)

Comment 1

5 years ago
Created attachment 629366 [details] [diff] [review]
Patch V1
Attachment #629366 - Flags: review?(karlt)
Attachment #629366 - Flags: review?(karlt) → review+
(Assignee)

Updated

5 years ago
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
Last Resolved: 5 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.