| Index: third_party/WebKit/public/platform/WebMediaPlayer.h
|
| diff --git a/third_party/WebKit/public/platform/WebMediaPlayer.h b/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| index 9670be708b07fb7e817505c80246021d29f37898..4fa130e0dabc14ec0bcdb8fcef81e5f9b4e0a604 100644
|
| --- a/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| +++ b/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| @@ -142,6 +142,7 @@ public:
|
| // Getters of playback state.
|
| virtual bool paused() const = 0;
|
| virtual bool seeking() const = 0;
|
| + virtual double earliestTime() const = 0;
|
| virtual double duration() const = 0;
|
| virtual double currentTime() const = 0;
|
|
|
|
|