Updated mediawiki/extensions
Project: mediawiki/extensions/Collection  d316c6e0cd568042ecffbe7e912901ca27faa082

jquery.json is deprecated

 * use "json" instead as suggested
   https://www.mediawiki.org/wiki/ResourceLoader/Default_modules#jquery.json

Change-Id: Ib37dc3efc09b61264e462404b0befae43d93a734