Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Add paint metrics to Performance Timeline API

Browse source
This commit is contained in:
Fernando Jiménez Moreno 2017-08-14 18:41:32 +02:00
parent 1c9c0334ba
commit 2d0037f195
15 changed files with 152 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

1
python/tidy/servo_tidy/tidy.py
View file

@ -79,6 +79,7 @@ WEBIDL_STANDARDS = [
"//heycam.github.io/webidl",
"//webbluetoothcg.github.io/web-bluetooth/",
"//svgwg.org/svg2-draft",
"//wicg.github.io",
# Not a URL
"// This interface is entirely internal to Servo, and should not be" +
" accessible to\n// web pages."