Updated mediawiki/extensions
Project: mediawiki/extensions/UserDailyContribs  42ba4bd1ccd1fbd25f76b3a85dd4b7707c108d8f

Migrate to JSON i18n

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

Change-Id: I862aaa17daec2b79e521ae849b59a3984ae6eaa4