Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  b690877947f8fdb9e2f27ad8484ee248ac8f74d0

Add $wgTranslateUseTux

With this enabling TUX can be done by just flipping a variable.

Change-Id: I3ca54b36d1089668ab94781edcfbb2687e8c0f4e