2019-03-11 - production
13:04 <moritzm> upgrading mwdebug2002 to php 7.2.16 [production]