Bug 82277

Summary: [chromium] Remove WebMediaElement from Chromium WebKit API
Product: WebKit Reporter: Andrew Scherkus <scherkus>
Component: MediaAssignee: Andrew Scherkus <scherkus>
Status: RESOLVED FIXED    
Severity: Normal CC: abarth, dglazkov, fishd, jamesr, tkent, webkit.review.bot
Priority: P2    
Version: 528+ (Nightly build)   
Hardware: Unspecified   
OS: Unspecified   
Attachments:
Description Flags
Patch none

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.