- From: Philip Jägenstedt <philipj@opera.com>
- Date: Wed, 12 Feb 2014 15:01:23 +0800
- To: Ian Devlin <ian@iandevlin.com>
- Cc: "public-html@w3.org" <public-html@w3.org>
On Tue, Feb 11, 2014 at 8:06 PM, Ian Devlin <ian@iandevlin.com> wrote: > Back in October 2012 a bug was submitted to remove the media attribute from > <source> "if it isn't used": > https://www.w3.org/Bugs/Public/show_bug.cgi?id=19619. > > Unfortunately this has now been adopted, and Hixie has removed it > (https://www.w3.org/Bugs/Public/show_bug.cgi?id=19619#c34) from the WHATWG > specification (saying "no-one uses it" and calling it "essentially useless") > and Philip Jägenstadt has marked it for removal from Blink It's actually already been removed from Blink, with only the HTMLSourceElement.media IDL attribute remaining until we have use counter data supporting removal for that as well. Philip
Received on Wednesday, 12 February 2014 07:01:57 UTC