| 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 b86ea0dcde7efaec4504d74cec15e4de463398bf..a7ce2203bb833173c55b54b7c2fc124bb78a0303 100644
|
| --- a/media/base/android/media_player_manager.h
|
| +++ b/media/base/android/media_player_manager.h
|
| @@ -100,9 +100,11 @@ class MEDIA_EXPORT MediaPlayerManager {
|
| int player_id, media::DemuxerStream::Type type, bool seek_done) = 0;
|
|
|
| // Called when player wants the media element to initiate a seek.
|
| - virtual void OnMediaSeekRequest(int player_id,
|
| - base::TimeDelta time_to_seek,
|
| - bool request_surface) = 0;
|
| + virtual void OnMediaSeekRequest(int player_id, base::TimeDelta time_to_seek,
|
| + unsigned seek_request_id) = 0;
|
| +
|
| + // Called when player wants to read the config data from the demuxer.
|
| + virtual void OnMediaConfigRequest(int player_id) = 0;
|
|
|
| // TODO(xhwang): The following three methods needs to be decoupled from
|
| // MediaPlayerManager to support the W3C Working Draft version of the EME
|
|
|