| Index: media/blink/webmediaplayer_cast_android.cc
|
| diff --git a/media/blink/webmediaplayer_cast_android.cc b/media/blink/webmediaplayer_cast_android.cc
|
| index a419cf49c71b79c8016c7f8c20b6cfd19e632194..847428d2f20e998eed59b6902682908fd1ab9084 100644
|
| --- a/media/blink/webmediaplayer_cast_android.cc
|
| +++ b/media/blink/webmediaplayer_cast_android.cc
|
| @@ -193,6 +193,10 @@ void WebMediaPlayerCast::requestRemotePlaybackControl() {
|
| player_manager_->RequestRemotePlaybackControl(player_id_);
|
| }
|
|
|
| +void WebMediaPlayerCast::requestRemotePlaybackStop() {
|
| + player_manager_->RequestRemotePlaybackStop(player_id_);
|
| +}
|
| +
|
| void WebMediaPlayerCast::OnMediaMetadataChanged(base::TimeDelta duration,
|
| int width,
|
| int height,
|
|
|