Re: [whatwg] Removing mediagroup/MediaController from HTML

2015-10-02 Thread David Singer
> 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

Re: [whatwg] Removing mediagroup/MediaController from HTML

2015-10-02 Thread Domenic Denicola
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

[whatwg] XML/HTML Entities draft

2015-10-02 Thread David Carlisle
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

Re: [whatwg] XML/HTML Entities draft

2015-10-02 Thread Ian Hickson
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 > > > >