Updated mediawiki/extensions
Project: mediawiki/extensions/ReaderFeedback  3c0f75442d54c9578c7779402ddf5ffc1277954f

Migrate to JSON i18n

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

Change-Id: I048cdbfa48c6dec05f0dff724b6e7f7a515e8679