Index: Source/core/html/HTMLMediaElement.h |
diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h |
index b8a033b08f996f10b1b91e99d2b4c73945390fe6..5b2756e307c7194f13580ffbab0eaf47f58488ee 100644 |
--- a/Source/core/html/HTMLMediaElement.h |
+++ b/Source/core/html/HTMLMediaElement.h |
@@ -155,7 +155,7 @@ public: |
// media source extensions |
void closeMediaSource(); |
- void durationChanged(double duration); |
+ void durationChanged(double duration, bool requestSeek); |
// controls |
bool controls() const; |