| 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 b1b58ce47599cb12e5de433361b93e34c28808c1..4c0fc42b4c0794235346e2a8f0ca24d188e8b5c4 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -181,6 +181,7 @@ class CORE_EXPORT HTMLMediaElement : public HTMLElement,
|
| void pause();
|
| void requestRemotePlayback();
|
| void requestRemotePlaybackControl();
|
| + void requestRemotePlaybackStop();
|
|
|
| // statistics
|
| unsigned webkitAudioDecodedByteCount() const;
|
|
|