Mentioning jslint option