2019-11-04 - production
12:00 <moritzm> upgrading mw1261 to PHP 7.2.24 (T237239) [production]