| 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..6fb6c4de5140bd3960a47153494b01a7390aa7f0 100644
|
| --- a/content/renderer/media/android/webmediaplayer_android.h
|
| +++ b/content/renderer/media/android/webmediaplayer_android.h
|
| @@ -384,6 +384,13 @@ class WebMediaPlayerAndroid
|
| // Player ID assigned by the |player_manager_|.
|
| int player_id_;
|
|
|
| + // User created media session id, if any.
|
| + //
|
| + // blink::WebMediaSession::DefaultID represents the non web
|
| + // exposed default media session. User created session ids are
|
| + // greater than blink::WebMediaSession::DefaultID.
|
| + const int media_session_id_;
|
| +
|
| // Current player states.
|
| blink::WebMediaPlayer::NetworkState network_state_;
|
| blink::WebMediaPlayer::ReadyState ready_state_;
|
|
|