2019-11-25 - production
18:07	<effie>	Upgrade php-wikidiff2 to 1.10.0 to all servers - T236963	[production]