Updated mediawiki/extensions
Project: mediawiki/extensions/SocialProfile  ce1c51a8fed62d1e7e2117ae5b63a784b25fd27f

Migrate to JSON i18n

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

Change-Id: Ie22dd2871d794a3cf6337118da10673a5cf7f379