| Index: Source/core/page/PageAnimator.h
|
| diff --git a/Source/core/page/PageAnimator.h b/Source/core/page/PageAnimator.h
|
| index 5c8d9e5c240fe776b1aec25fd6f523d2b0f66920..803d27d92bd17f6b3cd8f7c6524d9bb186fcd303 100644
|
| --- a/Source/core/page/PageAnimator.h
|
| +++ b/Source/core/page/PageAnimator.h
|
| @@ -5,6 +5,8 @@
|
| #ifndef PageAnimator_h
|
| #define PageAnimator_h
|
|
|
| +#include "public/platform/WebFrameTime.h"
|
| +
|
| namespace WebCore {
|
|
|
| class Page;
|
| @@ -14,7 +16,7 @@ public:
|
| explicit PageAnimator(Page*);
|
|
|
| void scheduleVisualUpdate();
|
| - void serviceScriptedAnimations(double monotonicAnimationStartTime);
|
| + void serviceScriptedAnimations(blink::WebFrameTime monotonicAnimationStartTime);
|
|
|
| void setAnimationFramePending() { m_animationFramePending = true; }
|
| bool isServicingAnimations() const { return m_servicingAnimations; }
|
|
|