2020-06-10 - production
10:12	<moritzm>	upgrading remaining API servers in codfw to PHP 7.2.31	[production]