2018-08-16 - production
08:16	<moritzm>	upgrading wikidiff to 1.7.2 on mw1334-mw1338/mw1307/mw1318/ (HHVM bytecode cache is pruned during update)	[production]