Updated mediawiki/extensions
Project: mediawiki/extensions/Persona  db2bf7f91499e310f2670361a2f7a3da6c510760

Migrate to JSON i18n

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

Change-Id: Ib0c2f97a4768dcce0cb548b63422761a8d089ec0