| Index: media/blink/webmediaplayer_cast_android.h
|
| diff --git a/media/blink/webmediaplayer_cast_android.h b/media/blink/webmediaplayer_cast_android.h
|
| index c1143ba9f2e225ce6ab7b0599091bd0fe7e1363f..dd3f223ec0652fa3100e54d78103f7c5430dcca2 100644
|
| --- a/media/blink/webmediaplayer_cast_android.h
|
| +++ b/media/blink/webmediaplayer_cast_android.h
|
| @@ -41,6 +41,7 @@ class WebMediaPlayerCast : public RendererMediaPlayerInterface {
|
|
|
| void requestRemotePlayback();
|
| void requestRemotePlaybackControl();
|
| + void requestRemotePlaybackStop();
|
|
|
| void SetMediaPlayerManager(
|
| RendererMediaPlayerManagerInterface* media_player_manager);
|
|
|