W3C home > Mailing lists > Public > public-html@w3.org > February 2014

Re: Do not remove the media attribute from the source element

From: Philip Jägenstedt <philipj@opera.com>
Date: Wed, 12 Feb 2014 15:01:23 +0800
Message-ID: <CAMQvoCnp1Mw=E0TcV2q0S12Tc7pCvLnYDWtwHBOEHc5Vsf9UKQ@mail.gmail.com>
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.

Received on Wednesday, 12 February 2014 07:01:57 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 29 October 2015 10:16:37 UTC