| Index: third_party/WebKit/Source/platform/Timer.h
|
| diff --git a/third_party/WebKit/Source/platform/Timer.h b/third_party/WebKit/Source/platform/Timer.h
|
| index d46a1e60f78b1297a39e1497db1c36df62d16215..5046ebfd83a4e06d6343d25463729bc224b35168 100644
|
| --- a/third_party/WebKit/Source/platform/Timer.h
|
| +++ b/third_party/WebKit/Source/platform/Timer.h
|
| @@ -66,7 +66,7 @@ public:
|
| double repeatInterval() const { return m_repeatInterval; }
|
|
|
| void augmentRepeatInterval(double delta) {
|
| - double now = monotonicallyIncreasingTime();
|
| + double now = timerMonotonicallyIncreasingTime();
|
| setNextFireTime(now, m_nextFireTime - now + delta);
|
| m_repeatInterval += delta;
|
| }
|
| @@ -81,11 +81,16 @@ protected:
|
| private:
|
| virtual void fired() = 0;
|
|
|
| - virtual WebTaskRunner* timerTaskRunner();
|
| + virtual WebTaskRunner* timerTaskRunner() const;
|
|
|
| NO_LAZY_SWEEP_SANITIZE_ADDRESS
|
| virtual bool canFire() const { return true; }
|
|
|
| + double timerMonotonicallyIncreasingTime() const
|
| + {
|
| + return timerTaskRunner()->monotonicallyIncreasingVirtualTimeSeconds();
|
| + }
|
| +
|
| void setNextFireTime(double now, double delay);
|
|
|
| void runInternal();
|
|
|