2013-01-07 - production
08:51	<hashar>	Jenkins: update all jobs. That bring whitespace checking for MediaWiki extensions. See {{gerrit|37803}}	[production]