2018-09-04 - production
07:00	<moritzm>	upgrading remaining appservers/API servers to wikidiff 1.7.3	[production]