Files
servo/components/script/dom/webidls
bors-servo e50e2621fe Auto merge of #22191 - mandreyel:update-sw-global-scope, r=paulrouget
Update webidl of ServiceWorkerGlobalScope

Part of #19302.

---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `__` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes are part of #19302  (github issue number if applicable).

<!-- Either: -->
- [ ] There are tests for these changes OR
- [x] These changes do not require tests because they just update the webidl for `ServiceWorkerGlobalScope`; related tests should be updated when we start to implement its functions.

<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->

<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/22191)
<!-- Reviewable:end -->
2018-11-16 19:55:30 -05:00
..
2018-09-18 18:18:36 +05:30
2017-07-18 12:22:20 -06:00
2018-07-30 14:21:36 +02:00
2018-07-30 14:21:36 +02:00
2018-03-21 09:29:24 -05:00
2018-09-03 20:07:02 +05:30
2016-10-17 16:08:07 -04:00
2017-07-18 12:22:20 -06:00
2016-10-17 16:08:07 -04:00
2017-05-17 09:01:05 -05:00
2016-11-15 06:58:16 -08:00
2018-07-01 00:54:30 +02:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2016-09-29 08:19:41 -07:00
2016-09-23 10:19:11 -04:00
2018-07-30 14:21:41 +02:00
2017-04-12 15:43:14 +02:00
2017-04-12 15:43:14 +02:00
2017-04-12 15:43:14 +02:00
2017-04-12 15:43:14 +02:00
2017-04-12 15:43:14 +02:00
2017-06-09 13:57:30 +02:00
2016-10-17 16:08:07 -04:00
2017-07-06 19:37:55 +02:00
2016-10-17 16:08:07 -04:00
2016-12-02 23:46:40 +03:00
2017-05-15 18:15:38 -04:00
2017-07-05 22:38:29 +02:00
2017-07-18 12:22:20 -06:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2017-07-18 12:22:20 -06:00
2017-09-06 13:33:30 +02:00
2017-09-06 13:33:30 +02:00
2017-09-06 13:33:30 +02:00
2016-10-17 16:08:07 -04:00
2017-07-18 12:22:20 -06:00
2016-11-04 12:36:23 +01:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2017-07-05 22:38:29 +02:00
2018-08-11 01:13:11 +02:00
2016-10-17 16:08:07 -04:00