| Index: webkit/renderer/media/android/webmediaplayer_android.h
|
| diff --git a/webkit/renderer/media/android/webmediaplayer_android.h b/webkit/renderer/media/android/webmediaplayer_android.h
|
| index 44ff9faefbda4a80c0da631af0bdf135d12e3eae..0e57113f89b1e5af61f4b053e60bfaa1223ade7e 100644
|
| --- a/webkit/renderer/media/android/webmediaplayer_android.h
|
| +++ b/webkit/renderer/media/android/webmediaplayer_android.h
|
| @@ -155,8 +155,8 @@ class WebMediaPlayerAndroid
|
| 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);
|
| + void OnMediaSeekRequest(base::TimeDelta time_to_seek);
|
| + void OnMediaConfigRequest();
|
|
|
| // Called to update the current time.
|
| void OnTimeUpdate(base::TimeDelta current_time);
|
|
|