Umherirrender has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/404220 )

Change subject: Fix use of "config_prefix" and set "requires" in extension.json
......................................................................


Fix use of "config_prefix" and set "requires" in extension.json

"requires" sets the load order in the extension registry to have
BSCONFIGDIR defined when needed

Change-Id: Ib302787af9ea7f23897acae9c11558b59d878bcb
---
M extension.json
1 file changed, 6 insertions(+), 1 deletion(-)

Approvals:
  Umherirrender: Verified
  Robert Vogel: Looks good to me, approved



diff --git a/extension.json b/extension.json
index c399168..ce50fef 100644
--- a/extension.json
+++ b/extension.json
@@ -21,6 +21,11 @@
                }
        },
        "callback": "NamespaceManager::onRegistration",
+       "requires": {
+               "extensions": {
+                       "BlueSpiceFoundation": "*"
+        }
+       },
        "LogTypes": [
                "bs-namespace-manager"
        ],
@@ -45,7 +50,7 @@
        "ExtensionMessagesFiles": {
                "NamespaceManagerAlias": 
"includes/specials/SpecialNamespaceManager.alias.php"
        },
-       "config-prefix": "bsg",
+       "config_prefix": "bsg",
        "config": {
                "NamespaceManagerNsOffset": {
                        "value": 2999

-- 
To view, visit https://gerrit.wikimedia.org/r/404220
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ib302787af9ea7f23897acae9c11558b59d878bcb
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/BlueSpiceNamespaceManager
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: Ljonka <l.verhovs...@gmail.com>
Gerrit-Reviewer: Mglaser <gla...@hallowelt.biz>
Gerrit-Reviewer: Pwirth <wi...@hallowelt.biz>
Gerrit-Reviewer: Robert Vogel <vo...@hallowelt.biz>
Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to