2019-10-07 - releng
17:25	<James_F>	Zuul: [mediawiki/tools/phan,PerfCheckPlugin] Move to PHP72+	[releng]