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