servo: Merge #11114 - implement related service worker interface and register method (from creativcoder:nav-sw); r=jdm

Fixes  #11091

Source-Repo: https://github.com/servo/servo
Source-Revision: cc017fc0b8619726f0c82649f41fdcf5595b19e4

servo/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."