| Index: content/renderer/media/android/webmediaplayer_android.h
|
| diff --git a/content/renderer/media/android/webmediaplayer_android.h b/content/renderer/media/android/webmediaplayer_android.h
|
| index a66115062cb538514ae11e14e8c4372cb71e6bd6..22bccaeb1f62c76ef348bba4fa4960306abaa483 100644
|
| --- a/content/renderer/media/android/webmediaplayer_android.h
|
| +++ b/content/renderer/media/android/webmediaplayer_android.h
|
| @@ -384,6 +384,12 @@ class WebMediaPlayerAndroid
|
| // Player ID assigned by the |player_manager_|.
|
| int player_id_;
|
|
|
| + // User created media session id, if any.
|
| + //
|
| + // It's equal to blink::kDefaultMediaSessionID by default when using
|
| + // the non web exposed default media session.
|
| + const int media_session_id_;
|
| +
|
| // Current player states.
|
| blink::WebMediaPlayer::NetworkState network_state_;
|
| blink::WebMediaPlayer::ReadyState ready_state_;
|
|
|