[chromium] Remove WebMediaElement from Chromium WebKit API.
authorscherkus@chromium.org <scherkus@chromium.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Tue, 27 Mar 2012 04:41:38 +0000 (04:41 +0000)
committerscherkus@chromium.org <scherkus@chromium.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Tue, 27 Mar 2012 04:41:38 +0000 (04:41 +0000)
commitc35cdf028b6d65e28b072452c63828100b4eb834
tree75e6f7cd265b182aaf3f167143fcfb9cc2c32324
parent862cf44e8e641118ed06e747fd08d2f3763bc5c1
[chromium] Remove WebMediaElement from Chromium WebKit API.
https://bugs.webkit.org/show_bug.cgi?id=82277

Reviewed by James Robinson.

This was added in r63859 but is no longer used by anyone.

* WebKit.gyp:
* public/WebMediaElement.h: Removed.
* src/WebMediaElement.cpp: Removed.

git-svn-id: http://svn.webkit.org/repository/webkit/trunk@112205 268f45cc-cd09-0410-ab3c-d52691b4dbfc
Source/WebKit/chromium/ChangeLog
Source/WebKit/chromium/WebKit.gyp
Source/WebKit/chromium/public/WebMediaElement.h [deleted file]
Source/WebKit/chromium/src/WebMediaElement.cpp [deleted file]
Source/WebKit/chromium/src/WebMediaPlayerClientImpl.cpp
Source/WebKit/chromium/src/WebMediaPlayerClientImpl.h