2018-08-30 - production
13:41	<moritzm>	upgrading mw1261 to wikidiff 1.7.3	[production]