Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  5be50f9f75af1e5ca1c8b9a51284412cc8b7e4f3

Fix unclosed div in TUX mode

Also changed the mix of raw html and Html:: functions
to use only one way at a time (this should be moved
to JS anyway)

Bug: 46077
Change-Id: Iadd6f097a828b157333761cbac53e9c16c0a8da3