2018-09-16 - tools.pywikibot
05:19	<legoktm>	switch to PHP 7.2 webservice	[tools.pywikibot]