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 <lego...@member.fsf.org> 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