RESOLVED FIXED82277
[chromium] Remove WebMediaElement from Chromium WebKit API 
https://bugs.webkit.org/show_bug.cgi?id=82277
Summary [chromium] Remove WebMediaElement from Chromium WebKit API
Andrew Scherkus
Reported 2012-03-26 17:56:33 PDT
it's not used
Attachments
Patch (8.75 KB, patch)
2012-03-26 18:00 PDT, Andrew Scherkus 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Andrew Scherkus
Comment 1 2012-03-26 18:00:34 PDT
Created attachment 133948 [details] Patch
WebKit Review Bot
Comment 2 2012-03-26 18:04:11 PDT
Please wait for approval from abarth@webkit.org, dglazkov@chromium.org, fishd@chromium.org, jamesr@chromium.org or tkent@chromium.org before submitting, as this patch contains changes to the Chromium public API. See also https://trac.webkit.org/wiki/ChromiumWebKitAPI.
James Robinson
Comment 3 2012-03-26 18:11:01 PDT
Comment on attachment 133948 [details] Patch RS=me. Deleting is great, so long as everything still builds!
Andrew Scherkus
Comment 4 2012-03-26 18:15:39 PDT
Comment on attachment 133948 [details] Patch I agree!
WebKit Review Bot
Comment 5 2012-03-26 21:41:56 PDT
Comment on attachment 133948 [details] Patch Clearing flags on attachment: 133948 Committed r112205: <http://trac.webkit.org/changeset/112205>
WebKit Review Bot
Comment 6 2012-03-26 21:42:00 PDT
All reviewed patches have been landed. Closing bug.
Note You need to log in before you can comment on or make changes to this bug.