Now that MediaWiki does auto-minification, this has been moved to the main page. -- Prod (Talk) 00:42, 26 February 2012 (UTC)