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; |