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 253b7f196f5d447e1147e495e5f422d4761c6a38..b8976426efe52c9bac31a9f7f28710ef3d18d501 100644 |
--- a/content/renderer/media/android/webmediaplayer_android.h |
+++ b/content/renderer/media/android/webmediaplayer_android.h |
@@ -430,6 +430,10 @@ class WebMediaPlayerAndroid |
// Player ID assigned by the |player_manager_|. |
int player_id_; |
+ // User created media session id, if any. 0 means the non web |
mlamouri (slow - plz ping)
2016/02/22 16:58:20
nit: use some const?
philipj_slow
2016/02/23 07:06:56
For player_id_ as well, then?
davve
2016/02/23 08:12:10
Done.
|
+ // exposed default media session. |
+ int media_session_id_; |
+ |
// Current player states. |
blink::WebMediaPlayer::NetworkState network_state_; |
blink::WebMediaPlayer::ReadyState ready_state_; |