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

WebBluetooth API classes

Browse source
This commit is contained in:
Attila Dusnoki 2016-03-02 15:00:13 +01:00
parent 00628704ca
commit e7d70cfabf
28 changed files with 999 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

1
python/tidy.py
View file

@ -463,6 +463,7 @@ def check_webidl_spec(file_name, contents):
"//xhr.spec.whatwg.org",
"//w3c.github.io",
"//heycam.github.io/webidl",
"//webbluetoothcg.github.io/web-bluetooth/",
# Not a URL
"// This interface is entirely internal to Servo, and should not be" +
" accessible to\n// web pages."