User blog comment:DaNASCAT/Update Your CSS and JavaScript To Speed Up Your Wiki/@comment-76.65.128.252-20120824065550/@comment-3508190-20120824065858

It says that it's a JavaScript command in the very first sentence. And you can find a link to the cheatsheet that helps you to choose the right script file at the bottom of the page.