2019-09-05 - production
13:39	<moritzm>	upgrading remaining API servers to PHP 7.2.22	[production]