Index: webkit/renderer/media/webmediaplayer_delegate.h |
diff --git a/webkit/renderer/media/webmediaplayer_delegate.h b/webkit/renderer/media/webmediaplayer_delegate.h |
index 32bd9e45825027add18f3f9261a19aa5811d3813..9718f7cf940eadd4480d9f9fcae678fe2cf408a8 100644 |
--- a/webkit/renderer/media/webmediaplayer_delegate.h |
+++ b/webkit/renderer/media/webmediaplayer_delegate.h |
@@ -17,13 +17,13 @@ class WebMediaPlayerDelegate { |
WebMediaPlayerDelegate() {} |
// The specified player started playing media. |
- virtual void DidPlay(WebKit::WebMediaPlayer* player) {} |
+ virtual void DidPlay(WebKit::WebMediaPlayer* player) = 0; |
// The specified player stopped playing media. |
- virtual void DidPause(WebKit::WebMediaPlayer* player) {} |
+ virtual void DidPause(WebKit::WebMediaPlayer* player) = 0; |
// The specified player was destroyed. Do not call any methods on it. |
- virtual void PlayerGone(WebKit::WebMediaPlayer* player) {} |
+ virtual void PlayerGone(WebKit::WebMediaPlayer* player) = 0; |
protected: |
virtual ~WebMediaPlayerDelegate() {} |