| Index: Source/core/timing/Performance.idl
|
| diff --git a/Source/core/timing/Performance.idl b/Source/core/timing/Performance.idl
|
| index fbbfbe94e758bc02eaddf73fa003ed2786ac0b79..07b615f3f756a706a4d472814bad87df55a4e34d 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,RuntimeEnabled=FrameTimingSupport] void webkitClearFrameTimings();
|
| + [MeasureAs=PrefixedPerformanceSetFrameTimingBufferSize,RuntimeEnabled=FrameTimingSupport] void webkitSetFrameTimingBufferSize(unsigned long maxSize);
|
| +
|
| attribute EventHandler onwebkitresourcetimingbufferfull;
|
|
|
| + [RuntimeEnabled=FrameTimingSupport] 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);
|
|
|