mirror of
https://github.com/servo/servo.git
synced 2025-08-12 00:45:33 +01:00
implement PerformanceObserverInit.buffered (fixes #18108)
This commit is contained in:
parent
10cd518b59
commit
e186b52b04
4 changed files with 35 additions and 2 deletions
|
@ -8,6 +8,7 @@
|
|||
|
||||
dictionary PerformanceObserverInit {
|
||||
required sequence<DOMString> entryTypes;
|
||||
boolean buffered = false;
|
||||
};
|
||||
|
||||
callback PerformanceObserverCallback = void (PerformanceObserverEntryList entries, PerformanceObserver observer);
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue