// https://w3c.github.io/performance-timeline/#typedefdef-performanceentrylist
typedef sequence<PerformanceEntry> PerformanceEntryList;

// https://w3c.github.io/hr-time/#sec-performance
[Exposed=(Window, Worker)]
interface Performance : EventTarget {
    DOMHighResTimeStamp now();
    readonly attribute DOMHighResTimeStamp timeOrigin;
    [Default] object toJSON();

    // https://w3c.github.io/user-timing/#extensions-performance-interface
    // "User Timing" extensions to the Performance interface
    PerformanceMark mark(DOMString markName, optional PerformanceMarkOptions markOptions = {});
    undefined clearMarks(optional DOMString markName);
    PerformanceMeasure measure(DOMString measureName, optional (DOMString or PerformanceMeasureOptions) startOrMeasureOptions = {}, optional DOMString endMark);
    undefined clearMeasures(optional DOMString measureName);

    // https://w3c.github.io/resource-timing/#sec-extensions-performance-interface
    // "Resource Timing" extensions to the Performance interface
    undefined clearResourceTimings();
    undefined setResourceTimingBufferSize(unsigned long maxSize);
    attribute EventHandler onresourcetimingbufferfull;

    // https://w3c.github.io/performance-timeline/#extensions-to-the-performance-interface
    // "Performance Timeline" extensions to the Performance interface
    PerformanceEntryList getEntries();
    PerformanceEntryList getEntriesByType(DOMString type);
    PerformanceEntryList getEntriesByName(DOMString name, optional DOMString type);
};
