Updated mediawiki/extensions
Project: mediawiki/extensions/NukeDPL  138e0ff399fdc0c4b97c4ce813e9529ebdd0ff02

Migrate to JSON i18n

Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: I77da8befffa22f54484797764cb08ef41d687f87