| Index: webkit/media/android/webmediaplayer_android.h
|
| diff --git a/webkit/media/android/webmediaplayer_android.h b/webkit/media/android/webmediaplayer_android.h
|
| index c492910e9422ef6bbb4d75d529864e270a2d1952..0ef909586e6cb3ca73e9c42154343a61d1d8d2d7 100644
|
| --- a/webkit/media/android/webmediaplayer_android.h
|
| +++ b/webkit/media/android/webmediaplayer_android.h
|
| @@ -147,16 +147,18 @@ class WebMediaPlayerAndroid
|
| OVERRIDE;
|
|
|
| // Media player callback handlers.
|
| - virtual void OnMediaMetadataChanged(base::TimeDelta duration, int width,
|
| - int height, bool success);
|
| - virtual void OnPlaybackComplete();
|
| - virtual void OnBufferingUpdate(int percentage);
|
| - virtual void OnSeekComplete(base::TimeDelta current_time);
|
| - virtual void OnMediaError(int error_type);
|
| - virtual void OnVideoSizeChanged(int width, int height);
|
| + void OnMediaMetadataChanged(base::TimeDelta duration, int width,
|
| + int height, bool success);
|
| + void OnPlaybackComplete();
|
| + void OnBufferingUpdate(int percentage);
|
| + void OnSeekComplete(base::TimeDelta current_time);
|
| + void OnMediaError(int error_type);
|
| + void OnVideoSizeChanged(int width, int height);
|
| + void OnMediaSeekRequest(base::TimeDelta time_to_seek,
|
| + bool request_texture_peer);
|
|
|
| // Called to update the current time.
|
| - virtual void OnTimeUpdate(base::TimeDelta current_time);
|
| + void OnTimeUpdate(base::TimeDelta current_time);
|
|
|
| // Functions called when media player status changes.
|
| void OnMediaPlayerPlay();
|
|
|