2017-07-25 - production
19:31	<demon@tin>	rebuilt wikiversions.php and synchronized wikiversions files: group0 to wmf.11	[production]