2018-08-30 - production
14:08	<moritzm>	upgrading mw1262-1265 to wikidiff 1.7.3	[production]