mirror of
https://github.com/servo/servo
synced 2026-05-08 16:12:15 +02:00
Combine script profiling with profile crates. Fixes #7514. The script crate had its own built-in profiling which was basically doing the same thing as the profile crate. This wraps the internal profiling around the main profile functionality. Script-related tasks are now added to the ProfilerCategory enum. <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/7547) <!-- Reviewable:end -->