jenkins-bot has submitted this change and it was merged.
Change subject: Restore "core-0-mostused" ID until renames with redirects work
......................................................................
Restore "core-0-mostused" ID until renames with redirects work
* bin/stats-mediawiki still uses the old ID.
* We also have to rename "core", can be done together later.
Change-Id: Ibc54a56b59cf62db308bc24fc92fffd43811b1b7
---
M TranslateSettings.php
1 file changed, 2 insertions(+), 1 deletion(-)
Approvals:
Nikerabbit: Looks good to me, approved
jenkins-bot: Verified
diff --git a/TranslateSettings.php b/TranslateSettings.php
index f272d25..1e29ff7 100644
--- a/TranslateSettings.php
+++ b/TranslateSettings.php
@@ -82,7 +82,8 @@
require_once "$GROUPS/MediaWiki/MediaWikiTopMessageGroup.php";
$wgHooks['TranslatePostInitGroups'][] = function ( &$list, &$deps, &$autoload
) use ( $GROUPS ) {
- $id = 'mediawiki-top';
+ # TODO: rename when possible
+ $id = 'core-0-mostused';
$msgs = "$GROUPS/MediaWiki/wikimedia-mostused-2015.txt";
$code = "$GROUPS/MediaWiki/MediaWikiTopMessageGroup.php";
--
To view, visit https://gerrit.wikimedia.org/r/191285
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ibc54a56b59cf62db308bc24fc92fffd43811b1b7
Gerrit-PatchSet: 1
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Nemo bis <federicol...@tiscali.it>
Gerrit-Reviewer: Nikerabbit <niklas.laxst...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
