2020-06-10 - production
11:41	<moritzm>	upgrading remaining app servers in codfw to PHP 7.2.31	[production]