jquery.json is deprecated

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

Change-Id: Ib37dc3efc09b61264e462404b0befae43d93a734