Merge "mediawiki.page.patrol.ajax: Rename file to match module name"

[lhc/web/wiklou.git] / docs / extension.schema.json

diff --git a/docs/extension.schema.json b/docs/extension.schema.json
index dde4fa1..b635467 100644 (file)
--- a/docs/extension.schema.json
+++ b/docs/extension.schema.json
@@ -711,7 +711,6 @@
                        },
                        "patternProperties": {
                                "^[a-zA-Z_\u007f-\u00ff][a-zA-Z0-9_\u007f-\u00ff]*$": {
-                                       "type": ["object", "array", "string", "integer", "null", "boolean"],
                                        "properties": {
                                                "_merge_strategy": {
                                                        "type": "string",