2017-12-06 - production
22:00	<demon@tin>	rebuilt wikiversions.php and synchronized wikiversions files: group1 to wmf.11, again	[production]