Files
servo/components/script/dom
bors-servo ced303b9cb Auto merge of #18176 - rtbo:perf_observer_buffered, r=ferjm
PerformanceObserverInit.buffered

Per #18108, add `buffered` flag in the `PerformanceObserverInit` dict.
Per W3C spec, when `buffered` is set, `PerformanceObserver.observe()` method adds the entries buffered in the `Performance` instance into the observer's entry buffer.
One step is the implementation of the [filter by name and type](https://w3c.github.io/performance-timeline/#filter-buffer-by-name-and-type) algorithm. Don't think that the sort operation is useful in this case, but the spec states that this algorithm is to be used.

- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [X] These changes fix #18108
- [X] These changes do not require tests (yet) because the timeline API is not powered.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/18176)
<!-- Reviewable:end -->
2017-08-28 02:20:29 -05:00
..
2017-08-23 21:38:44 +02:00
2017-08-23 21:38:44 +02:00
2017-08-23 21:38:44 +02:00
2016-10-11 19:44:32 +02:00
2017-08-09 14:36:20 -06:00
2017-06-18 13:21:49 +02:00
2017-08-23 21:38:44 +02:00
2017-08-02 21:51:17 +02:00
2017-08-09 14:36:22 -06:00
2017-08-24 10:41:06 -07:00
2017-07-24 11:39:12 +02:00
2017-03-07 17:37:44 +08:00
2017-08-23 21:38:44 +02:00
2017-08-23 21:38:44 +02:00
2017-06-14 16:00:59 +02:00
2017-06-14 16:00:59 +02:00
2017-08-23 21:38:44 +02:00
2017-03-07 17:37:44 +08:00
2017-08-23 21:38:44 +02:00
2017-08-23 21:38:44 +02:00
2017-08-23 21:38:44 +02:00
2017-08-23 21:38:44 +02:00
2017-05-02 19:24:28 +02:00
2017-04-12 15:43:14 +02:00
2017-04-12 15:43:14 +02:00
2017-04-12 15:43:14 +02:00
2017-04-12 15:43:14 +02:00
2017-08-23 21:38:44 +02:00
2017-08-23 21:38:44 +02:00
2017-06-18 13:21:49 +02:00
2017-07-06 19:37:55 +02:00
2017-06-18 13:21:49 +02:00
2017-07-05 22:38:29 +02:00
2017-08-24 10:41:06 -07:00
2017-05-02 19:24:28 +02:00
2017-07-05 22:38:29 +02:00
2017-08-23 17:16:30 +02:00
2017-08-23 21:38:44 +02:00
2017-06-18 13:21:49 +02:00
2017-08-23 21:38:44 +02:00
2017-03-07 17:37:44 +08:00
2017-05-17 09:01:05 -05:00
2017-06-18 13:21:49 +02:00
2017-08-23 21:38:44 +02:00
2017-05-17 09:01:05 -05:00
2017-06-18 13:21:49 +02:00
2017-03-13 21:57:50 +08:00
2017-08-23 21:38:44 +02:00
2017-05-02 19:24:28 +02:00
2017-07-05 22:38:29 +02:00
2017-08-23 21:38:44 +02:00
2017-07-05 22:38:29 +02:00
2017-08-23 21:38:44 +02:00
2017-08-23 21:38:44 +02:00
2017-08-23 21:38:44 +02:00
2017-06-18 13:21:49 +02:00
2017-08-23 21:38:44 +02:00
2017-08-23 21:38:44 +02:00