| Index: content/renderer/media/android/webmediaplayer_android.h
|
| diff --git a/content/renderer/media/android/webmediaplayer_android.h b/content/renderer/media/android/webmediaplayer_android.h
|
| index 5313faf3ab53b8140d7d2371d14c5891a4defdc3..8156c25c6a1de20c7cf66cd1de7a6c5c44fa4422 100644
|
| --- a/content/renderer/media/android/webmediaplayer_android.h
|
| +++ b/content/renderer/media/android/webmediaplayer_android.h
|
| @@ -99,6 +99,7 @@ class WebMediaPlayerAndroid : public blink::WebMediaPlayer,
|
| virtual void setRate(double rate);
|
| virtual void setVolume(double volume);
|
| virtual const blink::WebTimeRanges& buffered();
|
| + virtual blink::WebTimeRanges buffered() const;
|
| virtual double maxTimeSeekable() const;
|
|
|
| // Poster image, as defined in the <video> element.
|
|
|