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