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; } |