2018-08-14 - tools
01:08	<legoktm>	switched tools.coverme and tools.wikiinfo to use PHP 7.2	[tools]