| Index: webkit/media/webmediaplayer_delegate.h
|
| diff --git a/webkit/media/webmediaplayer_delegate.h b/webkit/media/webmediaplayer_delegate.h
|
| index cd595f10ea6e16961f0e9951ddbd1e45ae5c0de9..7f5e4ee451c2c7e54554297a9a5dfd4031fe74b0 100644
|
| --- a/webkit/media/webmediaplayer_delegate.h
|
| +++ b/webkit/media/webmediaplayer_delegate.h
|
| @@ -15,7 +15,6 @@ namespace webkit_media {
|
| class WebMediaPlayerDelegate {
|
| public:
|
| WebMediaPlayerDelegate() {}
|
| - virtual ~WebMediaPlayerDelegate() {}
|
|
|
| // The specified player started playing media.
|
| virtual void DidPlay(WebKit::WebMediaPlayer* player) {}
|
| @@ -25,6 +24,9 @@ class WebMediaPlayerDelegate {
|
|
|
| // The specified player was destroyed. Do not call any methods on it.
|
| virtual void PlayerGone(WebKit::WebMediaPlayer* player) {}
|
| +
|
| + protected:
|
| + virtual ~WebMediaPlayerDelegate() {}
|
| };
|
|
|
| } // namespace webkit_media
|
|
|