Umherirrender has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/404218 )
Change subject: Fix use of "config_prefix" in extension.json
......................................................................
Fix use of "config_prefix" in extension.json
Change-Id: I01fedbf010db4be0b856df97f25c3d92ebc96797
---
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 4e5b23c..76a3d5d 100644
--- a/extension.json
+++ b/extension.json
@@ -47,7 +47,7 @@
"ExtensionMessagesFiles": {
"PageTemplatesAdminAlias":
"includes/specials/SpecialPageTemplatesAdmin.alias.php"
},
- "config-prefix": "bsg",
+ "config_prefix": "bsg",
"config": {
"PageTemplatesExcludeNs": {
"value": [
--
To view, visit https://gerrit.wikimedia.org/r/404218
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I01fedbf010db4be0b856df97f25c3d92ebc96797
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/BlueSpicePageTemplates
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[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
