jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/330065 )
Change subject: Fix extension name in $wgMessagesDirs key
......................................................................
Fix extension name in $wgMessagesDirs key
Change-Id: I44754e462e21c0f0142bb65d71d52f4d331ca7c2
---
M Buggy.php
M extension.json
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
Paladox: Looks good to me, but someone else must approve
jenkins-bot: Verified
Thiemo Mättig (WMDE): Looks good to me, approved
diff --git a/Buggy.php b/Buggy.php
index d9dc192..10d065a 100644
--- a/Buggy.php
+++ b/Buggy.php
@@ -48,7 +48,7 @@
// Register files
$wgAutoloadClasses['BuggyHooks'] = __DIR__ . '/Buggy.hooks.php';
$wgAutoloadClasses['ApiBuggy'] = __DIR__ . '/ApiBuggy.php';
-$wgMessagesDirs['BoilerPlate'] = __DIR__ . '/i18n';
+$wgMessagesDirs['Buggy'] = __DIR__ . '/i18n';
// Register hooks
$wgHooks['BeforePageDisplay'][] = 'BuggyHooks::onBeforePageDisplay';
diff --git a/extension.json b/extension.json
index 18f03a8..ff9b9b0 100644
--- a/extension.json
+++ b/extension.json
@@ -17,7 +17,7 @@
"buggy": "ApiBuggy"
},
"MessagesDirs": {
- "BoilerPlate": [
+ "Buggy": [
"i18n"
]
},
--
To view, visit https://gerrit.wikimedia.org/r/330065
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I44754e462e21c0f0142bb65d71d52f4d331ca7c2
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Buggy
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: Thiemo Mättig (WMDE) <thiemo.maet...@wikimedia.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
