mirror of
https://github.com/servo/servo.git
synced 2025-06-11 01:50:10 +00:00
Auto merge of #9838 - szeged:webbluetooth, r=jdm
WebBluetooth API classes Basic implementation of WebBluetooth API API spec.: https://webbluetoothcg.github.io/web-bluetooth/ <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.svg" height="40" alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9838) <!-- Reviewable:end -->
This commit is contained in:
commit
37574065e0
28 changed files with 974 additions and 3 deletions
|
@ -482,6 +482,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."
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue