Updated mediawiki/extensions
Project: mediawiki/extensions/TitleKey  bdad1357623e81725363d5badb25e8e83cd69551

Migrate to JSON i18n

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

Change-Id: I30795267845442b28a93abb4bf928b9559b2249c