jshint/jshint — pull request #1398 by BokoEnos (2013-12-03 16:16:23+00:00)
Title: Update jshint.js

little fix which made IE complain