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