Umherirrender has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/403359 )
Change subject: Fix use of "config_prefix" in extension.json
......................................................................
Fix use of "config_prefix" in extension.json
Change-Id: I6d999b22420d19b9277600ad19bb4e645dcf160b
---
M extension.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Umherirrender: Verified; Looks good to me, approved
diff --git a/extension.json b/extension.json
index a56f55c..2fc62ca 100644
--- a/extension.json
+++ b/extension.json
@@ -37,7 +37,7 @@
"ExtensionMessagesFiles": {
"ReadersAlias": "languages/SpecialReaders.alias.php"
},
- "config-prefix": "bsg",
+ "config_prefix": "bsg",
"config": {
"ReadersNumOfReaders": {
"value": 10,
--
To view, visit https://gerrit.wikimedia.org/r/403359
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I6d999b22420d19b9277600ad19bb4e645dcf160b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/BlueSpiceReaders
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Ljonka <[email protected]>
Gerrit-Reviewer: Mglaser <[email protected]>
Gerrit-Reviewer: Pwirth <[email protected]>
Gerrit-Reviewer: Robert Vogel <[email protected]>
Gerrit-Reviewer: Umherirrender <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
