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