| Index: content/renderer/media/webmediaplayer_proxy_impl_android.h
|
| diff --git a/content/renderer/media/webmediaplayer_proxy_impl_android.h b/content/renderer/media/webmediaplayer_proxy_impl_android.h
|
| index 2b34396ca614d4fd3bd1ca930a2aad2b8ad6ab0a..0e30f7e4b3ead039af2add6dc09277da386407c0 100644
|
| --- a/content/renderer/media/webmediaplayer_proxy_impl_android.h
|
| +++ b/content/renderer/media/webmediaplayer_proxy_impl_android.h
|
| @@ -78,6 +78,7 @@ class WebMediaPlayerProxyImplAndroid
|
| void OnPlayerPause(int player_id);
|
| void OnReadFromDemuxer(
|
| int player_id, media::DemuxerStream::Type type, bool seek_done);
|
| + void OnMediaSeekRequest(int player_id, base::TimeDelta time_to_seek);
|
|
|
| webkit_media::WebMediaPlayerManagerAndroid* manager_;
|
|
|
|
|