2018-08-14 - production
13:11	<moritzm>	upgrading wikidiff to 1.7.2 on mw1308-mw1311/mw1293-mw1296 (HHVM bytecode cache is pruned during update)	[production]