| 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() {}
|
|
|