Index: content/browser/media/android/browser_media_player_manager.h |
diff --git a/content/browser/media/android/browser_media_player_manager.h b/content/browser/media/android/browser_media_player_manager.h |
index cabd360d57d0c956ec7527c14cafd891136e95b6..bd5ad7800d6fa7e8cea7b7bfc2628b9fce6ce8f7 100644 |
--- a/content/browser/media/android/browser_media_player_manager.h |
+++ b/content/browser/media/android/browser_media_player_manager.h |
@@ -220,6 +220,9 @@ class CONTENT_EXPORT BrowserMediaPlayerManager |
// The player ID pending to enter fullscreen. |
int pending_fullscreen_player_id_; |
+ // Whether the fullscreen player has been Release()-d. |
+ bool fullscreen_player_is_released_; |
+ |
WebContents* web_contents_; |
// Object for retrieving resources media players. |