| Index: content/browser/android/media_player_manager_impl.h
|
| diff --git a/content/browser/android/media_player_manager_impl.h b/content/browser/android/media_player_manager_impl.h
|
| index 7c076794368b13e63c06ee92bc64dfbb42ec16a5..af6664caf56b782ca7fd3b234c3333d9a659874b 100644
|
| --- a/content/browser/android/media_player_manager_impl.h
|
| +++ b/content/browser/android/media_player_manager_impl.h
|
| @@ -72,6 +72,8 @@ class MediaPlayerManagerImpl
|
| virtual void ReleaseMediaResources(
|
| media::MediaPlayerAndroid* player) OVERRIDE;
|
| virtual media::MediaResourceGetter* GetMediaResourceGetter() OVERRIDE;
|
| + virtual void OnMediaSeekRequest(int player_id, base::TimeDelta time_to_seek)
|
| + OVERRIDE;
|
|
|
| // Release all the players managed by this object.
|
| void DestroyAllMediaPlayers();
|
| @@ -102,6 +104,7 @@ class MediaPlayerManagerImpl
|
| void OnReadFromDemuxerAck(
|
| int player_id,
|
| const media::MediaPlayerHostMsg_ReadFromDemuxerAck_Params& params);
|
| + void OnMediaSeekRequestAck(int player_id);
|
|
|
| #if defined(GOOGLE_TV)
|
| void OnNotifyExternalSurface(
|
|
|