[webkit-reviews] review granted: [Bug 82277] [chromium] Remove WebMediaElement from Chromium WebKit API : [Attachment 133948] Patch

[bugzilla-daemon at webkit.org]

James Robinson <jamesr at chromium.org> has granted Andrew Scherkus
<scherkus at chromium.org>'s request for review:
Bug 82277: [chromium] Remove WebMediaElement from Chromium WebKit API
https://bugs.webkit.org/show_bug.cgi?id=82277

Attachment 133948: Patch
https://bugs.webkit.org/attachment.cgi?id=133948&action=review

------- Additional Comments from James Robinson <jamesr at chromium.org>
RS=me. Deleting is great, so long as everything still builds!