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