Updated mediawiki/extensions
Project: mediawiki/extensions/PostEdit  7d89072f33e12b4dbf57b266e1a991da2955c173

Migrate to JSON i18n

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

Change-Id: I24bb1c250179d5a7684b3986462be52bd6130876