jslint settings