| Index: third_party/WebKit/public/platform/WebMediaPlayer.h
|
| diff --git a/third_party/WebKit/public/platform/WebMediaPlayer.h b/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| index 87c058c8da7cf3760c0fa3293db6c6c03b65dd3d..75db1339d060c067c15e633cd2baa69f5af61843 100644
|
| --- a/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| +++ b/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| @@ -119,6 +119,7 @@ class WebMediaPlayer {
|
|
|
| virtual void requestRemotePlayback() {}
|
| virtual void requestRemotePlaybackControl() {}
|
| + virtual void requestRemotePlaybackStop() {}
|
| virtual void setPreload(Preload) {}
|
| virtual void setBufferingStrategy(BufferingStrategy) {}
|
| virtual WebTimeRanges buffered() const = 0;
|
|
|