Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  a231bceb1e6357f019d914b2d0284dea994b803e

Some bandage to avoid fatal errors in non-TUX

Bug: 44137
Change-Id: If4f11abcf4c571b43be901b801321e7a032a4b63