jshint/jshint — pull request #1009 by kevinoid (2013-04-13 20:36:57+00:00)
Title: Ignore unrecognized JSLint options

Currently JSHint reports an error when it encounters an option in a
/*jslint */ comment which is not either a jshint option or a renamed
jslint option. This has the unfortunate side-effect that source files
which specify valid options to JSLint which aren't recognized by JSHint
produce errors in JSHint (e.g. the "continue" option or the new
"closure" option).

We could fix this by whitelisting all valid JSLint options, but this
would require updates to JSHint every time JSLint added an option and I
doubt JSHint really wants to waste resources validating options to
JSLint (since, presumably, people using the /*jslint */ syntax would run
JSLint, which would warn them anyway).

Instead, ignore unrecognized options in /*jslint */ option comments.

Signed-off-by: Kevin Locke