2019-07-09 - releng
18:18	<James_F>	Zuul: [mediawiki/tools/phan/SecurityCheckPlugin] Move back to php72 as primary	[releng]