Updated mediawiki/extensions
Project: mediawiki/extensions/PushToWatch  fa8bed2d4bcbe31dae91d87f590c87f5735c49dc

Migrate to JSON i18n

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

Change-Id: I6a28510a9cc845e9d50ce9f57a5c0ea76e505927