2017-12-22 - releng
09:17	<hashar>	Fixed mediawiki-core-php70-phan-docker mwext-php70-phan-docker jobs that used a wrong Docker image name | https://gerrit.wikimedia.org/r/399789	[releng]