Updated mediawiki/extensions
Project: mediawiki/extensions/OdbcDatabase  bcb8871dccb2986d00eb9aa513b2c0b57a0e9acb

Migrate to JSON i18n

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

Change-Id: I77a75fe00b3e44e0622852a949fc6ee625f815ba