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