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