2016-12-07 - production
20:02	<demon@tin>	rebuilt wikiversions.php and synchronized wikiversions files: group1 to wmf.5	[production]