Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  5ba74271bb2b14c0ea220eb219352b2a69fdcd91
null
Close the editor after translating or skipping last message

Change-Id: If3419ecdc4582c518379eea5aea780f6494c83cd