2017-11-07 - production
20:06	<demon@tin>	rebuilt wikiversions.php and synchronized wikiversions files: group0 to wmf.7	[production]