| Index: Source/modules/serviceworkers/FetchEvent.idl
|
| diff --git a/Source/modules/serviceworkers/FetchEvent.idl b/Source/modules/serviceworkers/FetchEvent.idl
|
| index 88bf9e1ff5bdc6174852017a849c36ab02dc6317..9d5662b56d485104502a7e7704669e67602a0ca2 100644
|
| --- a/Source/modules/serviceworkers/FetchEvent.idl
|
| +++ b/Source/modules/serviceworkers/FetchEvent.idl
|
| @@ -5,7 +5,8 @@
|
| // https://slightlyoff.github.io/ServiceWorker/spec/service_worker/index.html#fetch-event-interface
|
| [
|
| RuntimeEnabled=ServiceWorkerOnFetch,
|
| - Exposed=ServiceWorker
|
| + Exposed=ServiceWorker,
|
| + TypeChecking=Interface,
|
| ] interface FetchEvent : Event {
|
| readonly attribute Request request;
|
| readonly attribute boolean isReload;
|
|
|