Summary: | [chromium] Remove WebMediaElement from Chromium WebKit API | ||||||
---|---|---|---|---|---|---|---|
Product: | WebKit | Reporter: | Andrew Scherkus <scherkus> | ||||
Component: | Media | Assignee: | 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
Andrew Scherkus
2012-03-26 17:56:33 PDT
Created attachment 133948 [details]
Patch
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 on attachment 133948 [details]
Patch
RS=me. Deleting is great, so long as everything still builds!
Comment on attachment 133948 [details]
Patch
I agree!
Comment on attachment 133948 [details] Patch Clearing flags on attachment: 133948 Committed r112205: <http://trac.webkit.org/changeset/112205> All reviewed patches have been landed. Closing bug. |