Index: Source/core/page/Performance.idl |
diff --git a/Source/core/page/Performance.idl b/Source/core/page/Performance.idl |
index 87a5b06308f7f7b4a240620ac897ead02bfb2353..496054f8ad4049a27c77e9f0fa4e012a9df97f39 100644 |
--- a/Source/core/page/Performance.idl |
+++ b/Source/core/page/Performance.idl |
@@ -30,9 +30,7 @@ |
*/ |
// See: http://dev.w3.org/2006/webapi/WebTiming/ |
-[ |
- EventTarget |
-] interface Performance { |
+interface Performance { |
readonly attribute PerformanceNavigation navigation; |
readonly attribute PerformanceTiming timing; |
readonly attribute MemoryInfo memory; |
@@ -45,9 +43,9 @@ |
[DeprecateAs=PrefixedPerformanceTimeline,ImplementedAs=getEntriesByName] sequence<PerformanceEntry> webkitGetEntriesByName(DOMString name, [Default=NullString] optional DOMString entryType); |
void webkitClearResourceTimings(); |
- void webkitSetResourceTimingBufferSize(unsigned long maxSize); |
+ [CallWith=ScriptState] void webkitSetResourceTimingBufferSize(unsigned long maxSize); |
- attribute EventListener onwebkitresourcetimingbufferfull; |
+ attribute Function onwebkitresourcetimingbufferfull; |
// See http://www.w3.org/TR/2012/CR-user-timing-20120726/ |
[RaisesException,MeasureAs=UnprefixedUserTiming] void mark(DOMString markName); |