Index: core/page/WindowTimers.idl |
diff --git a/core/page/WindowTimers.idl b/core/page/WindowTimers.idl |
index 97d5d42dec57abea44f2f68f632ef334cc8f2b4f..744567d39e1748a3559e41c59bf608703865e61b 100644 |
--- a/core/page/WindowTimers.idl |
+++ b/core/page/WindowTimers.idl |
@@ -26,7 +26,8 @@ |
*/ |
[ |
- NoInterfaceObject |
+ NoInterfaceObject, |
+ ImplementedAs=DOMWindowTimers |
] interface WindowTimers { |
[Custom] long setTimeout(any handler, [Default=Undefined] optional long timeout); |
void clearTimeout([Default=Undefined] optional long handle); |