Index: core/page/Performance.idl |
diff --git a/core/page/Performance.idl b/core/page/Performance.idl |
index e6760859e39cdee5fe30a410ce517d203bba2eb7..8dd3ea834b98b7f389315033b37b691e717d25e3 100644 |
--- a/core/page/Performance.idl |
+++ b/core/page/Performance.idl |
@@ -30,7 +30,7 @@ |
*/ |
// See: http://dev.w3.org/2006/webapi/WebTiming/ |
-interface Performance { |
+interface Performance : EventTarget { |
readonly attribute PerformanceNavigation navigation; |
readonly attribute PerformanceTiming timing; |
readonly attribute MemoryInfo memory; |
@@ -45,7 +45,7 @@ interface Performance { |
void webkitClearResourceTimings(); |
void webkitSetResourceTimingBufferSize(unsigned long maxSize); |
- attribute EventListener onwebkitresourcetimingbufferfull; |
+ attribute EventHandler onwebkitresourcetimingbufferfull; |
// See http://www.w3.org/TR/2012/CR-user-timing-20120726/ |
[RaisesException,MeasureAs=UnprefixedUserTiming] void mark(DOMString markName); |