Updated mediawiki/extensions
Project: mediawiki/extensions/RevisionCommentSupplement  582b4ec4fde1f26a9e4c589b2775ab293fe194cf

Migrate to JSON i18n

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

Change-Id: Icf5b116ab30fa5c5079bbb7947be95ce1100f354