Index: media/base/android/media_player_manager.h |
diff --git a/media/base/android/media_player_manager.h b/media/base/android/media_player_manager.h |
index 50e6f06dee1a4065dc8a4165f9bc73ae8b28cfb4..0b79f187d659a5b7061322b5093a94c41377aef4 100644 |
--- a/media/base/android/media_player_manager.h |
+++ b/media/base/android/media_player_manager.h |
@@ -65,6 +65,12 @@ class MEDIA_EXPORT MediaPlayerManager { |
// Called by the player to get a hardware protected surface. |
virtual void RequestFullScreen(int player_id) = 0; |
+ |
+#if defined(VIDEO_HOLE) |
+ // Returns true if a media player should use video-overlay for the embedded |
+ // encrypted video. |
+ virtual bool ShouldUseVideoOverlayForEmbeddedEncryptedVideo() = 0; |
+#endif // defined(VIDEO_HOLE) |
}; |
} // namespace media |