2018-05-24 - releng
19:04	<legoktm>	deleted https://integration.wikimedia.org/ci/view/Labs/job/labs-tools-ZppixBot-php55lint/	[releng]