2019-10-03 - releng
18:25	<James_F>	Zuul: [mediawiki/tools/codesniffer] Move to PHP7.2+	[releng]