| Index: media/blink/renderer_media_player_interface.h
|
| diff --git a/media/blink/renderer_media_player_interface.h b/media/blink/renderer_media_player_interface.h
|
| index 250d3a22a636a96cb5b0f3861235e8ab77f650ef..28efbca2f5b9fad1ca9bc58a9cd2aa34c3db7d99 100644
|
| --- a/media/blink/renderer_media_player_interface.h
|
| +++ b/media/blink/renderer_media_player_interface.h
|
| @@ -109,6 +109,9 @@ class RendererMediaPlayerManagerInterface {
|
| // Requests control of remote playback
|
| virtual void RequestRemotePlaybackControl(int player_id) = 0;
|
|
|
| + // Requests stopping remote playback
|
| + virtual void RequestRemotePlaybackStop(int player_id) = 0;
|
| +
|
| // Registers and unregisters a RendererMediaPlayerInterface object.
|
| virtual int RegisterMediaPlayer(RendererMediaPlayerInterface* player) = 0;
|
| virtual void UnregisterMediaPlayer(int player_id) = 0;
|
|
|