| 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 dbad6737b9b6f228aa0f4ef478e1a627b9e34d8b..cafc90dd85c4d57b8e096bcb48cb79a33ccfd726 100644
|
| --- a/content/renderer/media/android/webmediaplayer_android.h
|
| +++ b/content/renderer/media/android/webmediaplayer_android.h
|
| @@ -388,13 +388,6 @@ 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_;
|
|
|