2017-10-02 - releng
12:32	<addshore>	docker push composer, mediawiki-phan & mediawiki-phpcs latest tags built from https://gerrit.wikimedia.org/r/381392	[releng]