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. |