| 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 7166e16b7b77219112ef637d722341500351034d..9891e9bd935d7d7b19bb6df1ae5771dbdfc70dca 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -347,6 +347,7 @@ private:
|
| void connectedToRemoteDevice() final;
|
| void disconnectedFromRemoteDevice() final;
|
| void cancelledRemotePlaybackRequest() final;
|
| + void requestReload(const WebURL&) final;
|
|
|
| void loadTimerFired(Timer<HTMLMediaElement>*);
|
| void progressEventTimerFired(Timer<HTMLMediaElement>*);
|
| @@ -367,8 +368,8 @@ private:
|
| void invokeResourceSelectionAlgorithm();
|
| void loadInternal();
|
| void selectMediaResource();
|
| - void loadResource(const WebMediaPlayerSource&, ContentType&);
|
| - void startPlayerLoad();
|
| + void loadResource(const WebMediaPlayerSource&, const ContentType&);
|
| + void startPlayerLoad(const KURL& playerProvidedUrl = KURL());
|
| void setPlayerPreload();
|
| WebMediaPlayer::LoadType loadType() const;
|
| void scheduleNextSourceChild();
|
|
|