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