Index: Source/core/page/Performance.idl |
diff --git a/Source/core/page/Performance.idl b/Source/core/page/Performance.idl |
index e6760859e39cdee5fe30a410ce517d203bba2eb7..05d53c44ba07247e4f63ff64490de4cf65dd5a00 100644 |
--- a/Source/core/page/Performance.idl |
+++ b/Source/core/page/Performance.idl |
@@ -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); |