2018-09-04 - production
08:04	<moritzm>	upgrading mwmaint* to wikidiff 1.7.3	[production]