2013-10-18 - production
09:53	<hashar>	Jenkins finally producing code coverage reports: https://integration.wikimedia.org/cover/mediawiki-core/master/php/	[production]