| Index: third_party/WebCore/page/Performance.idl
|
| diff --git a/third_party/WebCore/page/Performance.idl b/third_party/WebCore/page/Performance.idl
|
| index 663b74247498be086c3c29bc372ebcc2b6a4d49c..fc9ffdf1f7df0b3458d605c8c7ef7f1fc5e87645 100644
|
| --- a/third_party/WebCore/page/Performance.idl
|
| +++ b/third_party/WebCore/page/Performance.idl
|
| @@ -33,6 +33,7 @@ module window {
|
| // See: http://dev.w3.org/2006/webapi/WebTiming/
|
| interface [
|
| Conditional=WEB_TIMING,
|
| + EventTarget,
|
| OmitConstructor
|
| ] Performance {
|
| readonly attribute PerformanceNavigation navigation;
|
| @@ -44,6 +45,13 @@ module window {
|
| PerformanceEntryList webkitGetEntriesByType(in DOMString entryType);
|
| PerformanceEntryList webkitGetEntriesByName(in DOMString name, in [Optional=DefaultIsNullString] DOMString entryType);
|
| #endif
|
| +
|
| +#if defined(ENABLE_RESOURCE_TIMING) && ENABLE_RESOURCE_TIMING
|
| + void webkitClearResourceTimings();
|
| + void webkitSetResourceTimingBufferSize(in unsigned long maxSize);
|
| +
|
| + attribute EventListener onwebkitresourcetimingbufferfull;
|
| +#endif
|
| // See http://www.w3.org/TR/hr-time/ for details.
|
| double webkitNow();
|
| };
|
|
|