| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index e53f5f2deeb2500df645a995af8331d5ddbff8db..36284a9e5e6de9310d5ad3c5bc4462820c4bbb8a 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -123,7 +123,6 @@ public:
|
| // playback state
|
| double currentTime() const;
|
| void setCurrentTime(double, ExceptionState&);
|
| - double initialTime() const;
|
| double duration() const;
|
| bool paused() const;
|
| double defaultPlaybackRate() const;
|
|
|