Updated mediawiki/extensions
Project: mediawiki/extensions/HashTables  19684862085fa2bb5a460976847abac9fe000794

Migrate to JSON i18n

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

Change-Id: Ib567983047ed408ee0ee23924cd846f4b2440335