change jslint setting