Fernando Jiménez Moreno 9b268f64a9 servo: Merge #18028 - Performance Timeline API (from ferjm:performance.timeline); r=jdm ... [Performance Timeline API](https://www.w3.org/TR/performance-timeline-2/) implementation. This API is required to allow DOM access to the [Paint Timing API](https://wicg.github.io/paint-timing/#example) metrics implemented in #17256. Unfortunately, I couldn't test it properly, as its usage depends on other APIs like the Paint Timing, User Timing, Resource Timing or Server Timing APIs. I'll work in the integration with the Paint Timing API next. - [X] `./mach build -d` does not report any errors - [X] `./mach test-tidy` does not report any errors - [ ] There are [WPTs](https://github.com/servo/servo/tree/master/tests/wpt/web-platform-tests/performance-timeline) for this API, however they depend on the implementation of the User Timing and the Resource Timing APIs, which I'll hopefully be implementing soon. Source-Repo: https://github.com/servo/servo Source-Revision: 6988c7424ddfdd9a98e6a458ff2ad307a74237aa --HG-- extra : subtree_source : https%3A//hg.mozilla.org/projects/converted-servo-linear extra : subtree_revision : 004a98426527db5a2d4a91143becb5b71b31daae		2017-08-17 12:27:19 -05:00
..
dom_manipulation.rs	servo: Merge #17298 - Added Debug implementations (from asajeffrey:script-more-debug-impls); r=mbrubeck	2017-06-13 10:31:25 -07:00
file_reading.rs
history_traversal.rs
mod.rs	servo: Merge #18028 - Performance Timeline API (from ferjm:performance.timeline); r=jdm	2017-08-17 12:27:19 -05:00
networking.rs
performance_timeline.rs	servo: Merge #18028 - Performance Timeline API (from ferjm:performance.timeline); r=jdm	2017-08-17 12:27:19 -05:00
user_interaction.rs	servo: Merge #17298 - Added Debug implementations (from asajeffrey:script-more-debug-impls); r=mbrubeck	2017-06-13 10:31:25 -07:00