| 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 f42f1eb01b3c50a65d583be29b68c2d15e169b4d..282b0fae379e98ae19c87e05ddba06d8669e3091 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -349,6 +349,7 @@ private:
|
| void connectedToRemoteDevice() final;
|
| void disconnectedFromRemoteDevice() final;
|
| void cancelledRemotePlaybackRequest() final;
|
| + void requestReload(const WebURL&) final;
|
|
|
| void loadTimerFired(Timer<HTMLMediaElement>*);
|
| void progressEventTimerFired(Timer<HTMLMediaElement>*);
|
| @@ -369,8 +370,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();
|
|
|