| 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 ac28254cd852aee01b57f7372e8e80b0406f8e84..12ae195522a1752b02e1a4d5df4a170fc8f9f372 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -127,6 +127,7 @@ public:
|
| bool seeking() const;
|
|
|
| // playback state
|
| + double earliestTime() const;
|
| double currentTime() const;
|
| void setCurrentTime(double);
|
| double duration() const;
|
|
|