Wed, 31 Dec 2014 06:09:35 +0100
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
michael@0 | 1 | /* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */ |
michael@0 | 2 | /* This Source Code Form is subject to the terms of the Mozilla Public |
michael@0 | 3 | * License, v. 2.0. If a copy of the MPL was not distributed with this file, |
michael@0 | 4 | * You can obtain one at http://mozilla.org/MPL/2.0/. |
michael@0 | 5 | * |
michael@0 | 6 | * The origin of this IDL file is |
michael@0 | 7 | * http://www.w3.org/TR/hr-time/ |
michael@0 | 8 | * |
michael@0 | 9 | * Copyright © 2012 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C |
michael@0 | 10 | * liability, trademark and document use rules apply. |
michael@0 | 11 | */ |
michael@0 | 12 | |
michael@0 | 13 | typedef double DOMHighResTimeStamp; |
michael@0 | 14 | typedef sequence <PerformanceEntry> PerformanceEntryList; |
michael@0 | 15 | |
michael@0 | 16 | interface Performance { |
michael@0 | 17 | DOMHighResTimeStamp now(); |
michael@0 | 18 | |
michael@0 | 19 | [Constant] |
michael@0 | 20 | readonly attribute PerformanceTiming timing; |
michael@0 | 21 | [Constant] |
michael@0 | 22 | readonly attribute PerformanceNavigation navigation; |
michael@0 | 23 | |
michael@0 | 24 | jsonifier; |
michael@0 | 25 | }; |
michael@0 | 26 | |
michael@0 | 27 | // http://www.w3c-test.org/webperf/specs/PerformanceTimeline/#sec-window.performance-attribute |
michael@0 | 28 | partial interface Performance { |
michael@0 | 29 | [Pref="dom.enable_resource_timing"] |
michael@0 | 30 | PerformanceEntryList getEntries(); |
michael@0 | 31 | [Pref="dom.enable_resource_timing"] |
michael@0 | 32 | PerformanceEntryList getEntriesByType(DOMString entryType); |
michael@0 | 33 | [Pref="dom.enable_resource_timing"] |
michael@0 | 34 | PerformanceEntryList getEntriesByName(DOMString name, optional DOMString |
michael@0 | 35 | entryType); |
michael@0 | 36 | }; |
michael@0 | 37 | |
michael@0 | 38 | // http://w3c-test.org/webperf/specs/ResourceTiming/#extensions-performance-interface |
michael@0 | 39 | partial interface Performance { |
michael@0 | 40 | [Pref="dom.enable_resource_timing"] |
michael@0 | 41 | void clearResourceTimings(); |
michael@0 | 42 | [Pref="dom.enable_resource_timing"] |
michael@0 | 43 | void setResourceTimingBufferSize(unsigned long maxSize); |
michael@0 | 44 | }; |