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_; |