2013-01-07 - production
21:18 <hashar> jenkins: splitting whitespace check out of mediawiki linting job. Will make whitespace a non voting change to avoid rejecting legitimate changes. [production]