Remove *_version properties of ServiceWorkerRegistration and workerRegistrationDeleted event.

Source/devtools/protocol.json

Index: Source/devtools/protocol.json
diff --git a/Source/devtools/protocol.json b/Source/devtools/protocol.json
index 7f65abc849d7e181b3ba4e6f79680023effbc651..8c6d3f68a15be58a74c5dea3a0a31d9b2a86f449 100644
--- a/Source/devtools/protocol.json
+++ b/Source/devtools/protocol.json
@@ -4040,10 +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" }
+                    { "name": "isDeleted", "type": "boolean", "optional": true }
                 ]
             },
             {
@@ -4121,13 +4118,6 @@
                     { "name": "versions", "type": "array", "items": { "$ref": "ServiceWorkerVersion" } }
                 ],
                 "handlers": ["browser"]
-            },
-            {
-                "name": "workerRegistrationDeleted",
-                "parameters": [
-                    { "name": "registrationId", "type": "string" }
-                ],
-                "handlers": ["browser"]
             }
         ]
     },