2014-09-22 - production
14:12	<hashar>	Jenkins deleted job mediawiki-core-lint , replaced by mediawiki-core-phplint	[production]