2019-09-09 - production
13:01	<moritzm>	upgrading remaining mediawiki app servers (mw1266-mw1275) to PHP 7.2.22 T230024	[production]