2019-10-16 - releng
18:27	<James_F>	Zuul: [mediawiki/tools/phan/SecurityCheckPlugin] Move to PHP72+	[releng]