| Index: third_party/WebKit/public/platform/WebMediaPlayerClient.h
|
| diff --git a/third_party/WebKit/public/platform/WebMediaPlayerClient.h b/third_party/WebKit/public/platform/WebMediaPlayerClient.h
|
| index d56d5208363a787966c7037c053e509e0c93dd5d..508bb6e3271b46b1501f59cffce4dbcc73e05000 100644
|
| --- a/third_party/WebKit/public/platform/WebMediaPlayerClient.h
|
| +++ b/third_party/WebKit/public/platform/WebMediaPlayerClient.h
|
| @@ -64,7 +64,7 @@ class BLINK_PLATFORM_EXPORT WebMediaPlayerClient {
|
|
|
| virtual void networkStateChanged() = 0;
|
| virtual void readyStateChanged() = 0;
|
| - virtual void timeChanged() = 0;
|
| + virtual void timeChanged(bool) = 0;
|
| virtual void repaint() = 0;
|
| virtual void durationChanged() = 0;
|
| virtual void sizeChanged() = 0;
|
|
|