Ah, that's from jslint.com, my bad. Anyway, our JS code is a mess, I'm not going to fight over convention here.