Index: public/platform/WebMediaPlayer.h |
diff --git a/public/platform/WebMediaPlayer.h b/public/platform/WebMediaPlayer.h |
index 497bac55359bd476ca495bb9ae6a02877d729a8e..fcb5a4736c7e42c7b594a8c8cce0637c5e855112 100644 |
--- a/public/platform/WebMediaPlayer.h |
+++ b/public/platform/WebMediaPlayer.h |
@@ -108,6 +108,8 @@ public: |
virtual void seek(double seconds) = 0; |
virtual void setRate(double) = 0; |
virtual void setVolume(double) = 0; |
+ virtual void requestRemotePlayback() { }; |
+ virtual void requestRemotePlaybackControl() { }; |
virtual void setPreload(Preload) { }; |
virtual WebTimeRanges buffered() const = 0; |
virtual double maxTimeSeekable() const = 0; |