| 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 9979e856dae347c8f0d7c1aa103727dd3751640c..83581a904eacb57f91d56ff750678398a39b5d24 100644
|
| --- a/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| +++ b/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| @@ -121,6 +121,7 @@ public:
|
| virtual void requestRemotePlaybackControl() { }
|
| virtual void setPreload(Preload) { }
|
| virtual void setBufferingStrategy(BufferingStrategy) {}
|
| + virtual void setPaused(bool) {}
|
| virtual WebTimeRanges buffered() const = 0;
|
| virtual WebTimeRanges seekable() const = 0;
|
|
|
|
|