I’d like to clarify my previous email. Everyone wants to see high quality math rendering on the Web. MathML is a web standard, has two implementations (WebKit and Gecko), and is one of the most requested features in Chromium <https://bugs.chromium.org/p/chromium/issues/list?can=2&q=component:Blink&sort=-stars&colspec=ID%20Stars%20Pri%20Status%20Component%20Opened%20Summary> and Edge <https://developer.microsoft.com/en-us/microsoft-edge/platform/status/?q=sort:Votes>. Chromium is even in talks to add support. Clearly, MathML is part of the Web Platform.
I was not proposing that we pull MathML support from WebKit. Native support for MathML, rather than polyfilled support, leads to better experiences for our users for many reasons, among them performance and accessibility. Bugs (or even “quite a few bugs”) is not sufficient evidence to pull a feature like this. Instead, I was pointing out that MathML doesn’t seem to be getting the love it deserves. I hope we can improve our support for MathML to make our implementation the best it can possibly be. Thanks, Myles > On Oct 27, 2017, at 2:15 PM, Myles C. Maxfield <[email protected]> wrote: > > Is there any development being done on MathML? There are quite a few places > where our implementation is fairly broken. This, coupled with the fact that > most places which use MathML on the Web fallback to MathJax (which doesn’t > need MathML) makes me question whether we want to continue supporting MathML > in the first place. > >> On Oct 25, 2017, at 11:37 AM, Michael Catanzaro <[email protected]> >> wrote: >> >> On Wed, Oct 25, 2017 at 12:05 PM, Maciej Stachowiak <[email protected]> wrote: >>> Why don't we wait to hear from port owners whether they would actually want >>> to disable MathML for reason of compatibiltiy. Knowing answers to the above >>> questions would help. >> >> For GTK and WPE, I think it's fine to have MathML enabled unconditionally. >> >> Michael >> >> _______________________________________________ >> webkit-dev mailing list >> [email protected] >> https://lists.webkit.org/mailman/listinfo/webkit-dev > > _______________________________________________ > webkit-dev mailing list > [email protected] > https://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________ webkit-dev mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-dev
