| Index: content/browser/media/android/browser_media_player_manager.cc
|
| diff --git a/content/browser/media/android/browser_media_player_manager.cc b/content/browser/media/android/browser_media_player_manager.cc
|
| index e2d6676d890b5e4d935e2869cb0d8b04e86535f3..5df9016f7b7d748ed35f035b127138bdeed536ee 100644
|
| --- a/content/browser/media/android/browser_media_player_manager.cc
|
| +++ b/content/browser/media/android/browser_media_player_manager.cc
|
| @@ -324,6 +324,12 @@ void BrowserMediaPlayerManager::RequestFullScreen(int player_id) {
|
| }
|
|
|
| #if defined(VIDEO_HOLE)
|
| +bool
|
| +BrowserMediaPlayerManager::ShouldUseVideoOverlayForEmbeddedEncryptedVideo() {
|
| + RendererPreferences* prefs = web_contents_->GetMutableRendererPrefs();
|
| + return prefs->use_video_overlay_for_embedded_encrypted_video;
|
| +}
|
| +
|
| void BrowserMediaPlayerManager::AttachExternalVideoSurface(int player_id,
|
| jobject surface) {
|
| MediaPlayerAndroid* player = GetPlayer(player_id);
|
|
|