Updated mediawiki/extensions
Project: mediawiki/extensions/PagedTiffHandler  c4d8142d1b42f441f4142445d9bc9497f777131f

Migrate to JSON i18n

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

Change-Id: I074aec1909fd5ff74ddf3fd09aec9f405b548a38