Re: [webkit-dev] Removal of mediagroup/MediaController from HTML

2015-10-02 Thread Edward O'Connor
Hi Anne,

You wrote:

> Hi,
>
> The WHATWG is considering removing mediagroup/MediaController from
> HTML, since other than WebKit no browser project has expressed
> interest in this feature.
>
> https://github.com/whatwg/html/issues/192 is the corresponding issue.
>
> I would recommend following up in the issue itself if this is
> problematic or if the WHATWG is forgetting something.

Thanks for the heads up. Eric & I have followed up there and will
continue to monitor the issue.
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev


[webkit-dev] Removal of mediagroup/MediaController from HTML

2015-10-01 Thread Anne van Kesteren
Hi,

The WHATWG is considering removing mediagroup/MediaController from
HTML, since other than WebKit no browser project has expressed
interest in this feature.

https://github.com/whatwg/html/issues/192 is the corresponding issue.

I would recommend following up in the issue itself if this is
problematic or if the WHATWG is forgetting something.

Thank you,


-- 
https://annevankesteren.nl/
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev