| Index: public/platform/WebMediaPlayer.h
|
| diff --git a/public/platform/WebMediaPlayer.h b/public/platform/WebMediaPlayer.h
|
| index cf9c7415d7c08aec7b0852135d8aeaefe6c3a673..f540317a77353e86e35ae89ef20fb22a4f0020bb 100644
|
| --- a/public/platform/WebMediaPlayer.h
|
| +++ b/public/platform/WebMediaPlayer.h
|
| @@ -109,6 +109,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;
|
|
|