| 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 4c0fc42b4c0794235346e2a8f0ca24d188e8b5c4..c8140a183575a93c8eeed21e4b538b298e94c173 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -391,6 +391,7 @@ class CORE_EXPORT HTMLMediaElement : public HTMLElement,
|
| void connectedToRemoteDevice() final;
|
| void disconnectedFromRemoteDevice() final;
|
| void cancelledRemotePlaybackRequest() final;
|
| + void remotePlaybackStarted() final;
|
| bool isAutoplayingMuted() final;
|
| void requestReload(const WebURL&) final;
|
|
|
|
|