| Index: public/platform/WebMediaPlayer.h
|
| diff --git a/public/platform/WebMediaPlayer.h b/public/platform/WebMediaPlayer.h
|
| index 154f5207173365bf97ce2fa4a25a3a2412a036ee..734f7c2b37b1d73aef0465933101235c9cc60a91 100644
|
| --- a/public/platform/WebMediaPlayer.h
|
| +++ b/public/platform/WebMediaPlayer.h
|
| @@ -107,7 +107,7 @@ public:
|
| virtual void setRate(double) = 0;
|
| virtual void setVolume(double) = 0;
|
| virtual void setPreload(Preload) { };
|
| - virtual const WebTimeRanges& buffered() = 0;
|
| + virtual WebTimeRanges buffered() const = 0;
|
| virtual double maxTimeSeekable() const = 0;
|
|
|
| virtual void paint(WebCanvas*, const WebRect&, unsigned char alpha) = 0;
|
|
|