2018-08-16 - production
10:43	<moritzm>	upgrading wikidiff to 1.7.2 on mw1285-mw1290 and mw1312-mw1317 (HHVM bytecode cache is pruned during update)	[production]