2015-07-01 - releng
15:34	<hashar>	https://integration.wikimedia.org/ci/job/mediawiki-core-phpcs-HEAD/ is fixed. populated the git repos manually	[releng]