2017-10-17 - releng
21:47	<addshore>	delete wmfreleng/mediawiki-extensions-phan from docker hub	[releng]