2020-10-18 - releng
17:39	<James_F>	Zuul: [mediawiki/php/wikidiff2] Only test PHP 7.2+ from now on	[releng]