| 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 7123760ca703f759aa57ee8556cdea9a838d5e3e..9870b0607b6a038eb8db15e608e5ba25a430ac14 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -345,6 +345,7 @@ private:
|
| void remoteRouteAvailabilityChanged(bool) final;
|
| void connectedToRemoteDevice() final;
|
| void disconnectedFromRemoteDevice() final;
|
| + void cancelledRemotePlaybackRequest() final;
|
|
|
| void loadTimerFired(Timer<HTMLMediaElement>*);
|
| void progressEventTimerFired(Timer<HTMLMediaElement>*);
|
|
|