marijnh/CodeMirror — pull request #2534 by soliton4 (2014-05-05 18:40:40+00:00)
Title: JSHINT usage non global possible

this change makes it possible to use JSHINT without setting global variables.
its still compatible to the former usage.