| 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..588dc9015f20a519aacffeb482b241c2691b0117 100644
|
| --- a/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| +++ b/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| @@ -88,6 +88,11 @@ public:
|
| Aggressive,
|
| };
|
|
|
| + enum class PlaybackState {
|
| + Playing,
|
| + Paused,
|
| + };
|
| +
|
| enum CORSMode {
|
| CORSModeUnspecified,
|
| CORSModeAnonymous,
|
| @@ -121,6 +126,7 @@ public:
|
| virtual void requestRemotePlaybackControl() { }
|
| virtual void setPreload(Preload) { }
|
| virtual void setBufferingStrategy(BufferingStrategy) {}
|
| + virtual void setPlaybackState(PlaybackState) {}
|
| virtual WebTimeRanges buffered() const = 0;
|
| virtual WebTimeRanges seekable() const = 0;
|
|
|
|
|