2020-06-10 - production
07:15	<moritzm>	upgrade remaining API servers in eqiad to PHP 7.2.31	[production]