Updated mediawiki/extensions
Project: mediawiki/extensions/HelpCommons  b5e48a9bf481bbe87ad0d7aa268548c1856db35d

Migrate to JSON i18n

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

Change-Id: Iba2154f8c55cc85e73336a2f322de6d419d0459a