Updated mediawiki/extensions
Project: mediawiki/extensions/EventLogging  5bbc62143c280afe4959066aadfd5661f42aac6f

Use 'json' module instead of deprecated 'jquery.json'

Better performance for users of modern browsers, and avoids warnings

Change-Id: I4535e1493326fa9e310ba11ecbfd89878a333358