jshint/jshint — pull request #1189 by lapo-luchini (2013-07-22 13:17:10+00:00)
Title: Support spaces in `/*global` just like in `/*jshint`.

Currently `/*global` does not accept `param: true` values, only `param:true` are accepted.
This patch amends to that (copying the very code used for `/*jshint` a few lines later in the same function).