2019-06-18 - releng
20:40	<James_F>	Reload Zuul to point MediaWiki's phan jobs at php72 instead of php70 T225456	[releng]