mirror of
https://github.com/servo/servo.git
synced 2025-08-03 12:40:06 +01:00
User Timing API
This commit is contained in:
parent
f5e23a3a90
commit
8412f5403a
18 changed files with 272 additions and 13 deletions
11
components/script/dom/webidls/PerformanceMark.webidl
Normal file
11
components/script/dom/webidls/PerformanceMark.webidl
Normal file
|
@ -0,0 +1,11 @@
|
|||
/* This Source Code Form is subject to the terms of the Mozilla Public
|
||||
* License, v. 2.0. If a copy of the MPL was not distributed with this file,
|
||||
* You can obtain one at http://mozilla.org/MPL/2.0/.
|
||||
*
|
||||
* The origin of this IDL file is
|
||||
* https://w3c.github.io/user-timing/#performancemark
|
||||
*/
|
||||
|
||||
[Exposed=(Window,Worker)]
|
||||
interface PerformanceMark : PerformanceEntry {
|
||||
};
|
Loading…
Add table
Add a link
Reference in a new issue