2020-06-08 - production
14:41	<moritzm>	upgrading mw API servers in codfw to PHP 7.2.31	[production]