| Index: third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| diff --git a/third_party/WebKit/Source/core/html/HTMLMediaElement.h b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| index c79fcd14884a95d168178bfe800110819fc03030..966a191b20922cb4d721f5bc1c41c393c58b5a44 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -417,7 +417,6 @@ class CORE_EXPORT HTMLMediaElement
|
| bool HasSelectedVideoTrack() final;
|
| WebMediaPlayer::TrackId GetSelectedVideoTrackId() final;
|
| bool IsAutoplayingMuted() final;
|
| - void RequestReload(const WebURL&) final;
|
| void ActivateViewportIntersectionMonitoring(bool) final;
|
|
|
| void LoadTimerFired(TimerBase*);
|
| @@ -442,7 +441,7 @@ class CORE_EXPORT HTMLMediaElement
|
| void LoadInternal();
|
| void SelectMediaResource();
|
| void LoadResource(const WebMediaPlayerSource&, const String& content_type);
|
| - void StartPlayerLoad(const KURL& player_provided_url = KURL());
|
| + void StartPlayerLoad();
|
| void SetPlayerPreload();
|
| WebMediaPlayer::LoadType GetLoadType() const;
|
| void ScheduleNextSourceChild();
|
|
|