commit | 22b4fc3fc8da917b43a2786c7a9627bfa2b46362 | [log] [tgz] |
---|---|---|
author | philipj@opera.com <philipj@opera.com@bbb929c8-8fbe-4397-9dbb-9b2b20218538> | Tue Oct 22 11:37:27 2013 |
committer | philipj@opera.com <philipj@opera.com@bbb929c8-8fbe-4397-9dbb-9b2b20218538> | Tue Oct 22 11:37:27 2013 |
tree | dfc60c7f634c5501e3b3a4584716d378b2a2223f | |
parent | 304ce42508a6852f7803fb3b09118c386c3730fd [diff] |
Add UseCounter for HTMLSourceElement.media https://www.w3.org/Bugs/Public/show_bug.cgi?id=19619 By counting the number of candidate <source> elements and the number of non-matching media attributes, we can determine what the impact of removing the attribute from spec and implementation would be. BUG=310006 Review URL: https://codereview.chromium.org/32583007 git-svn-id: svn://svn.chromium.org/blink/trunk@160190 bbb929c8-8fbe-4397-9dbb-9b2b20218538