2018-09-03 - production
07:20	<moritzm>	upgrading mw1238-mw1258 to wikidiff 1.7.3	[production]