Updated mediawiki/extensions
Project: mediawiki/extensions/ViewFiles  0d024581e23ca4c45b8937afccb6545769503c37

Migrate to JSON i18n

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

Change-Id: I0e746136b5b17eceab96c269d0de643247b399c7