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