| Index: Source/core/timing/Performance.idl
|
| diff --git a/Source/core/timing/Performance.idl b/Source/core/timing/Performance.idl
|
| index fbbfbe94e758bc02eaddf73fa003ed2786ac0b79..bca78c822c0791f6fedabd9e7f9fa3a415c2dbb3 100644
|
| --- a/Source/core/timing/Performance.idl
|
| +++ b/Source/core/timing/Performance.idl
|
| @@ -42,8 +42,13 @@ interface Performance : EventTarget {
|
| [MeasureAs=PrefixedPerformanceClearResourceTimings] void webkitClearResourceTimings();
|
| [MeasureAs=PrefixedPerformanceSetResourceTimingBufferSize] void webkitSetResourceTimingBufferSize(unsigned long maxSize);
|
|
|
| + [MeasureAs=PrefixedPerformanceClearFrameTimings] void webkitClearFrameTimings();
|
| + [MeasureAs=PrefixedPerformanceSetFrameTimingBufferSize] void webkitSetFrameTimingBufferSize(unsigned long maxSize);
|
| +
|
| attribute EventHandler onwebkitresourcetimingbufferfull;
|
|
|
| + attribute EventHandler onwebkitframetimingbufferfull;
|
| +
|
| // See http://www.w3.org/TR/2012/CR-user-timing-20120726/
|
| [RaisesException,MeasureAs=UnprefixedUserTiming] void mark(DOMString markName);
|
| [MeasureAs=UnprefixedUserTiming] void clearMarks(optional DOMString markName = null);
|
|
|