Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  9a2dbd7b9eb3f8d5af07045443363cf890b0b2a8

TranslatorSandbox: Avoid showing duplicate message about 'no translations'

Change-Id: I327868b8e605c0045fabd6a5882e2de4ca156e31