Update jslint.js 2013-09-22