set jslint_happy = true.