> On Oct 1, 2015, at 6:49 , Anne van Kesteren wrote:
>
> In https://github.com/whatwg/html/issues/192 we're planning on
> removing mediagroup/MediaController from HTML since other than WebKit
> no implementations appear interested in implementing these features.
Hi
is removal really the right
From: whatwg [mailto:whatwg-boun...@lists.whatwg.org] On Behalf Of
> is removal really the right thing to do, given that we have an
> implementation?
I agree this is a problematic question. I opened
https://github.com/whatwg/html/issues/209 for the more general issue but am
happy to have the di
Ian,
Not sure if you still use a "live" copy of unicode.xml
and hopefully there will never be a need to change the
HTML character entity definitions but anyway
The editor's draft of the entities spec has been moved to github
https://w3c.github.io/xml-entities/
(The old URL at http://www.
On Fri, 2 Oct 2015, David Carlisle wrote:
>
> Ian,
> Not sure if you still use a "live" copy of unicode.xml
> and hopefully there will never be a need to change the
> HTML character entity definitions but anyway
>
> > The editor's draft of the entities spec has been moved to github
> >
> > h