Updated mediawiki/extensions
Project: mediawiki/extensions/PureWikiDeletion  7fbbe0bed19bd7de745b9955e8f251231b92ebd1

Change i18n to JSON

Change-Id: I3b6c5b105a556dff7c9818488b6a1ac746441649