mirror of
https://github.com/servo/servo.git
synced 2025-08-16 02:45:36 +01:00
Update web-platform-tests to revision b'7af9d6ec48ab04043a2bea85a3599904a1a19efa'
This commit is contained in:
parent
8050c95e31
commit
87be1008de
2742 changed files with 142451 additions and 40667 deletions
|
@ -4,7 +4,7 @@
|
|||
// Source: JS Self-Profiling API (https://wicg.github.io/js-self-profiling/)
|
||||
|
||||
[Exposed=(Window,Worker)]
|
||||
interface Profiler {
|
||||
interface Profiler : EventTarget {
|
||||
readonly attribute DOMHighResTimeStamp sampleInterval;
|
||||
readonly attribute boolean stopped;
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue