Updated mediawiki/extensions
Project: mediawiki/extensions/JsonConfig  ff018b2ebd28b5d29f9621fea07406d8227ec679

Fixing patch 139198

Iea375ed5074f72fe13e0bffbacee78f2844fe7c7 didn't fix the issue

Change-Id: Idf28acdae0da005072720a796d73023c35317a00