Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  36c284955f651c4a043917ca4d7773c54f649726

Remove $wgTranslateUseTux

It will no longer be possible to disable TUX by default for all users.

Change-Id: I616622f5d5538c05c4c87f325a9c114fc2a1c1f4