2020-01-13 - production
11:42	<moritzm>	upgrading remaining mwdebug* servers and mw1261 to PHP 7.2.26 T241222	[production]