registration: Sync extension.schema.json with reality

* info-files was never implemented
* path is no longer needed since we already know it

Change-Id: I0212620cb3a32e506717bd39a2fff4c9589f11cd

diff --git a/docs/extension.schema.json b/docs/extension.schema.json
index 46f8623..4583559 100644 (file)
--- a/docs/extension.schema.json
+++ b/docs/extension.schema.json
@@ -7,10 +7,6 @@
                        "type": "string",
                        "description": "The extension's canonical name."
                },
-               "info-files": {
-                       "type": "array",
-                       "description": "A list of filenames that should be loaded, in addition to this one"
-               },
                "type": {
                        "type": "string",
                        "description": "The extension's type, as an index to $wgExtensionCredits.",
@@ -39,9 +35,6 @@
                        },
                        "additionalItems": false
                },
-               "path": {
-                       "type": "string"
-               },
                "version": {
                        "type": "string",
                        "description": "The version of this release of the extension."