MediaWiki:Configure-setting-wgJQueryMinified/en

Use a minified version of jQuery