jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/331424 )
Change subject: Change key of wgExtensionMessagesFiles entry
......................................................................
Change key of wgExtensionMessagesFiles entry
Needs to be distinct from the wgMessagesDirs entry, per the documentation
in DefaultSettings.php.
Also made consistent with the extension.json.
Change-Id: I919d6e4871ff5195bd78524ab0c968d2609e7031
---
M ArticlePlaceholder.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Thiemo Mättig (WMDE): Looks good to me, approved
diff --git a/ArticlePlaceholder.php b/ArticlePlaceholder.php
index 19cf052..4bb83a2 100644
--- a/ArticlePlaceholder.php
+++ b/ArticlePlaceholder.php
@@ -15,7 +15,7 @@
wfLoadExtension( 'ArticlePlaceholder', __DIR__ . '/extension.json' );
// Keep i18n globals so mergeMessageFileList.php doesn't break
$wgMessagesDirs['ArticlePlaceholder'] = __DIR__ . '/i18n';
- $wgExtensionMessagesFiles['ArticlePlaceholder'] = __DIR__ .
'/ArticlePlaceholder.alias.php';
+ $wgExtensionMessagesFiles['ArticlePlaceholderAliases'] = __DIR__ .
'/ArticlePlaceholder.alias.php';
/* wfWarn(
'Deprecated PHP entry point used for ArticlePlaceholder
extension. ' .
'Please use wfLoadExtension instead, ' .
--
To view, visit https://gerrit.wikimedia.org/r/331424
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I919d6e4871ff5195bd78524ab0c968d2609e7031
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ArticlePlaceholder
Gerrit-Branch: master
Gerrit-Owner: Hoo man <[email protected]>
Gerrit-Reviewer: Lucie Kaffee <[email protected]>
Gerrit-Reviewer: Thiemo Mättig (WMDE) <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
