Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  c0a003ad2ed8f0c0ab20bfe61b249f6008207305

Hygiene: Move message tool out of repository

Change-Id: Id479b7b9085845c76d219e28f1ca307b27fb6277