| Index: Source/devtools/protocol.json
|
| diff --git a/Source/devtools/protocol.json b/Source/devtools/protocol.json
|
| index 9e8de5aa8bdaccf22cc361a502d02422ee98be46..7f65abc849d7e181b3ba4e6f79680023effbc651 100644
|
| --- a/Source/devtools/protocol.json
|
| +++ b/Source/devtools/protocol.json
|
| @@ -4040,6 +4040,7 @@
|
| "properties": [
|
| { "name": "registrationId", "type": "string" },
|
| { "name": "scopeURL", "type": "string" },
|
| + { "name": "isDeleted", "type": "boolean", "optional": true },
|
| { "name": "activeVersion", "optional": true, "$ref": "ServiceWorkerVersion" },
|
| { "name": "waitingVersion", "optional": true, "$ref": "ServiceWorkerVersion" },
|
| { "name": "installingVersion", "optional": true, "$ref": "ServiceWorkerVersion" }
|
|
|