Updated mediawiki/extensions
Project: mediawiki/extensions/BookManagerv2  c7ead77d7368570e1e3d10b569a69636069d8c69

Migrate to JSON i18n

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

Change-Id: Iea4eff280671a93eaebce4fed64c63d12364e780