2020-10-18 - releng
17:17	<James_F>	Zuul: [wikimedia-cz/mediawiki-config] Only test PHP 7.2+ from now on	[releng]