Bug 82277 - [chromium] Remove WebMediaElement from Chromium WebKit API
Summary: [chromium] Remove WebMediaElement from Chromium WebKit API
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: Media (show other bugs)
Version: 528+ (Nightly build)
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Andrew Scherkus
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-03-26 17:56 PDT by Andrew Scherkus
Modified: 2012-03-26 21:42 PDT (History)
6 users (show)

See Also:


Attachments
Patch (8.75 KB, patch)
2012-03-26 18:00 PDT, Andrew Scherkus
no flags Details | Formatted Diff | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Andrew Scherkus 2012-03-26 17:56:33 PDT
it's not used
Comment 1 Andrew Scherkus 2012-03-26 18:00:34 PDT
Created attachment 133948 [details]
Patch
Comment 2 WebKit Review Bot 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.
Comment 3 James Robinson 2012-03-26 18:11:01 PDT
Comment on attachment 133948 [details]
Patch

RS=me. Deleting is great, so long as everything still builds!
Comment 4 Andrew Scherkus 2012-03-26 18:15:39 PDT
Comment on attachment 133948 [details]
Patch

I agree!
Comment 5 WebKit Review Bot 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>
Comment 6 WebKit Review Bot 2012-03-26 21:42:00 PDT
All reviewed patches have been landed.  Closing bug.