jshint/jshint — comment on commit 65153fd3c69c29fb26199ad8871a4614b092240d
File: jshint.js line 1797
By WolfgangKluge:

I would test the names of the options only in case `jshint` is used, not `jslint`...