2018-09-03 - production
06:57	<moritzm>	upgrading mwdebug* to wikidiff 1.7.3	[production]