Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  a25b800a414d17811612682aee252f67415c0017

Flip $wgTranslateUseTux to true by default

Change-Id: I33ee4353b36663a70146671e4f0ae2519708e34a