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]