Remove unused (invalid) MathML atoms

RESOLVED FIXED in mozilla12

Status

()

Core
MathML
RESOLVED FIXED
6 years ago
6 years ago

People

(Reporter: fscholz, Assigned: fscholz)

Tracking

Trunk
mozilla12
Points:
---

Firefox Tracking Flags

(Not tracked)

Details

Attachments

(1 attachment)

(Assignee)

Description

6 years ago
(Follow-up from bug 324472 comment 10)

Some MathML atoms in nsGkAtomList.h and nsTreeSanitizer.cpp seem to be unused (and wrongly mentioned in the MathML3 element index). We should probably remove them.

To be under consideration for now:

[1] malign: See http://lists.w3.org/Archives/Public/www-math/2011Sep/0001.html

[2] malignscope
"*Future* versions of MathML may provide an malignscope element that allows an alignment scope to be created around any MathML element [...]" (http://www.w3.org/TR/MathML3/chapter3.html#id.3.5.5.1) That is, malignscope isn't specified yet?

[3] mfraction
"[...] the non-MathML element mfraction (presumably in place of the MathML element mfrac) [...]" (http://www.w3.org/TR/MathML3/chapter3.html#id.3.3.5.3)
So "mfraction" does not exist and is just a sample for wrong markup ?

[4] monospaced 
The MathML3 spec index links to http://www.w3.org/TR/MathML3/chapter2.html#fund.attval but there is no "monospaced" element/attribute ?!?
It would be a good idea to report these errors or questions to the MathML WG.
(Assignee)

Comment 2

6 years ago
http://lists.w3.org/Archives/Public/www-math/2011Dec/0003.html
http://lists.w3.org/Archives/Public/www-math/2012Jan/0000.html

I can prepare a patch for removing these bits.
Assignee: nobody → elchi3
Status: NEW → ASSIGNED
(Assignee)

Comment 3

6 years ago
Created attachment 586090 [details] [diff] [review]
Patch
Attachment #586090 - Flags: review?(karlt)
Blocks: 673759
Attachment #586090 - Flags: review?(karlt) → review+
I tested this patch there:
https://tbpl.mozilla.org/?tree=Try&rev=bf7895f8e2fb
Keywords: checkin-needed

Comment 5

6 years ago
https://hg.mozilla.org/integration/mozilla-inbound/rev/37ede8ee0d0e
Keywords: checkin-needed
Target Milestone: --- → mozilla12

Comment 6

6 years ago
https://hg.mozilla.org/mozilla-central/rev/37ede8ee0d0e
Status: ASSIGNED → RESOLVED
Last Resolved: 6 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.