2018-08-13 - production
14:05	<moritzm>	upgrading mw1262-1265 to wikidiff 1.7.2 (T199801)	[production]