diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-06-02 06:18:59 -0500 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2016-06-02 06:18:59 -0500 |
| commit | cc017fc0b8619726f0c82649f41fdcf5595b19e4 (patch) | |
| tree | e77fdc04eef71792a28898da24eb564f48432fe5 /python/tidy/servo_tidy/tidy.py | |
| parent | 196adaff07201deb273077213fa63c460cc11629 (diff) | |
| parent | 15a2064c0d7b468724b43d1cb6157d506ad19093 (diff) | |
| download | servo-cc017fc0b8619726f0c82649f41fdcf5595b19e4.tar.gz servo-cc017fc0b8619726f0c82649f41fdcf5595b19e4.zip | |
Auto merge of #11114 - creativcoder:nav-sw, r=jdm
implement related service worker interface and register method
Fixes #11091
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="35" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/11114)
<!-- Reviewable:end -->
Diffstat (limited to 'python/tidy/servo_tidy/tidy.py')
| -rw-r--r-- | python/tidy/servo_tidy/tidy.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/python/tidy/servo_tidy/tidy.py b/python/tidy/servo_tidy/tidy.py index 48f7a0705bc..9a824fc1754 100644 --- a/python/tidy/servo_tidy/tidy.py +++ b/python/tidy/servo_tidy/tidy.py @@ -522,6 +522,7 @@ def check_webidl_spec(file_name, contents): "//w3c.github.io", "//heycam.github.io/webidl", "//webbluetoothcg.github.io/web-bluetooth/", + "//slightlyoff.github.io/ServiceWorker/spec/service_worker/", # Not a URL "// This interface is entirely internal to Servo, and should not be" + " accessible to\n// web pages." |