2019-10-07 - releng
17:39	<James_F>	Zuul: Move mediawiki/tools/release to php72+	[releng]