diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-03-16 21:01:18 +0530 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2016-03-16 21:01:18 +0530 |
| commit | 37574065e0a1a22493bdbf1ce8dd0480aa88c758 (patch) | |
| tree | 019a8cfc7f71b4184cba68595f19ac5ddf9e681d /python/tidy.py | |
| parent | 6c5bfca53e6f61e4a7d60c8b5d65478e479c9bf5 (diff) | |
| parent | e7d70cfabf5ad412045fd4088379afd1bedfaece (diff) | |
| download | servo-37574065e0a1a22493bdbf1ce8dd0480aa88c758.tar.gz servo-37574065e0a1a22493bdbf1ce8dd0480aa88c758.zip | |
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 -->
Diffstat (limited to 'python/tidy.py')
| -rw-r--r-- | python/tidy.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/python/tidy.py b/python/tidy.py index 0dbdf056f9e..d67c01b335e 100644 --- a/python/tidy.py +++ b/python/tidy.py @@ -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." |