Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  aac8d48695a047e3369d0e0fa2182f64bd2ff0b3

Set JSON format as default for MediaWiki extensions

Change-Id: I77f5e4f86a0c37bf47fc7ed0d54a811694d84d0c