| 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 ed78252a3eb96a292b4e91cb6172bc15b03e9838..34c049ea3944d3bac10c0524fdaa491d7f438721 100644
|
| --- a/media/base/android/media_player_manager.h
|
| +++ b/media/base/android/media_player_manager.h
|
| @@ -97,6 +97,11 @@ class MEDIA_EXPORT MediaPlayerManager {
|
| // Callback when DemuxerStreamPlayer wants to read data from the demuxer.
|
| virtual void OnReadFromDemuxer(
|
| 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;
|
| };
|
|
|
| } // namespace media
|
|
|