2018-08-13 - production
12:28	<moritzm>	upgrading mwdebug* servers to wikidiff 1.7.2	[production]