douglascrockford/JSLint — pull request #157 by ibukanov (2014-09-02 09:15:33+00:00)
Title: non-fatal jslint option parsing

Currently it is a fatal error if one specifies unknown options in /*jslint */ comments. This is inconvenient especially as jslint during its evolution removes older options. This patch makes errors in option name or format non-fatal. This way one immediately see from the errors both the option that was removed and what code should be fixed to adhere to stricter standards.