jenkins-bot has submitted this change and it was merged. Change subject: Flip $wgTranslateUseTux to true by default ......................................................................
Flip $wgTranslateUseTux to true by default Change-Id: I33ee4353b36663a70146671e4f0ae2519708e34a --- M Translate.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Amire80: Looks good to me, approved jenkins-bot: Verified diff --git a/Translate.php b/Translate.php index 91f51b5..c4924fc 100644 --- a/Translate.php +++ b/Translate.php @@ -577,7 +577,7 @@ * be used to switch between old and new. This variable will be removed after * transition time. */ -$wgTranslateUseTux = false; +$wgTranslateUseTux = true; # </source> -- To view, visit https://gerrit.wikimedia.org/r/56386 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I33ee4353b36663a70146671e4f0ae2519708e34a Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/Translate Gerrit-Branch: master Gerrit-Owner: Nikerabbit <[email protected]> Gerrit-Reviewer: Amire80 <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
