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