Updated mediawiki/extensions
Project: mediawiki/extensions/Tabs  32af81dffd201f4a4735d03f10dd24188a6db560

Migrate to JSON i18n

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

Change-Id: Ia8a08521f965c7880cbe16eccc5679fde84de216