| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index 91f5f639b11136fd2590b40baf584ff8112b68ba..db725aec23425526bc0f9e1c32368a0129db5867 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -88,10 +88,6 @@ public:
|
| #if ENABLE(WEB_AUDIO)
|
| void clearWeakMembers(Visitor*);
|
| #endif
|
| -
|
| - // Do not use player().
|
| - // FIXME: Replace all uses with webMediaPlayer() and remove this API.
|
| - MediaPlayer* player() const { return m_player.get(); }
|
| blink::WebMediaPlayer* webMediaPlayer() const { return m_player ? m_player->webMediaPlayer() : 0; }
|
|
|
| virtual bool hasVideo() const { return false; }
|
|
|