Index: third_party/WebKit/Source/core/html/HTMLMediaElement.h |
diff --git a/third_party/WebKit/Source/core/html/HTMLMediaElement.h b/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
index 8050c4050f996bd8d70c4ea07ff7f4da8690ce60..250449e276b101222b828974b7dc2df8dc8097db 100644 |
--- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
+++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
@@ -363,7 +363,7 @@ class CORE_EXPORT HTMLMediaElement : public HTMLElement, |
// WebMediaPlayerClient implementation. |
void networkStateChanged() final; |
void readyStateChanged() final; |
- void timeChanged() final; |
+ void timeChanged(bool) final; |
void repaint() final; |
void durationChanged() final; |
void sizeChanged() final; |