Updated extensions/default/JSLint/main.js.