| 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 d8ed05cb71c8e75c4e410a0fc2a7b5d287004250..10170a6e5696c7e8b2b507a27d1e396d03bc0420 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| @@ -2351,6 +2351,11 @@ void HTMLMediaElement::requestRemotePlaybackControl() {
|
| webMediaPlayer()->requestRemotePlaybackControl();
|
| }
|
|
|
| +void HTMLMediaElement::requestRemotePlaybackStop() {
|
| + if (webMediaPlayer())
|
| + webMediaPlayer()->requestRemotePlaybackStop();
|
| +}
|
| +
|
| void HTMLMediaElement::closeMediaSource() {
|
| if (!m_mediaSource)
|
| return;
|
|
|