| 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 85a95762e065fcfe7aef3f770e9f3ecac0f99d5b..361be4a6c6b6af69ee6212793d9c489f7d799558 100644
|
| --- a/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| +++ b/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| @@ -83,11 +83,6 @@ class WebMediaPlayer {
|
| PreloadAuto,
|
| };
|
|
|
| - enum class BufferingStrategy {
|
| - Normal,
|
| - Aggressive,
|
| - };
|
| -
|
| enum CORSMode {
|
| CORSModeUnspecified,
|
| CORSModeAnonymous,
|
| @@ -130,7 +125,6 @@ class WebMediaPlayer {
|
| virtual void requestRemotePlaybackStop() {}
|
| virtual void requestRemotePlaybackDisabled(bool disabled) {}
|
| virtual void setPreload(Preload) {}
|
| - virtual void setBufferingStrategy(BufferingStrategy) {}
|
| virtual WebTimeRanges buffered() const = 0;
|
| virtual WebTimeRanges seekable() const = 0;
|
|
|
|
|