| 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
|
|
|