2018-09-17 - tools.list
00:58	<legoktm>	switch to PHP 7.2 webservice	[tools.list]