| Index: third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| diff --git a/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp b/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| index b65411089243d4d66f633664fa6c5ed2919e8c3e..e6e83de80c7d6ba991bc7befd8f67045fe532b17 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| @@ -2936,6 +2936,12 @@ void HTMLMediaElement::disconnectedFromRemoteDevice()
|
| remotePlaybackClient()->stateChanged(WebRemotePlaybackState::Disconnected);
|
| }
|
|
|
| +void HTMLMediaElement::cancelledRemotePlaybackRequest()
|
| +{
|
| + if (remotePlaybackClient())
|
| + remotePlaybackClient()->connectCancelled();
|
| +}
|
| +
|
| // MediaPlayerPresentation methods
|
| void HTMLMediaElement::repaint()
|
| {
|
|
|