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