Index: Source/core/html/HTMLMarqueeElement.h |
diff --git a/Source/core/html/HTMLMarqueeElement.h b/Source/core/html/HTMLMarqueeElement.h |
index a7d5b0436d236a60d04bb9e423eaf2f0c5e76375..129ed22392d947d9ff5a0e2602e0a215825d067a 100644 |
--- a/Source/core/html/HTMLMarqueeElement.h |
+++ b/Source/core/html/HTMLMarqueeElement.h |
@@ -25,6 +25,7 @@ |
#include "core/dom/ActiveDOMObject.h" |
#include "core/html/HTMLElement.h" |
+#include "platform/Timer.h" |
namespace WebCore { |