2013-10-23 - production
15:05	<hashar>	jenkins updating mediawiki-core-phpunit-databaseless to no more rely on ant	[production]