2017-10-30 - production
11:15	<hoo@tin>	rebuilt wikiversions.php and synchronized wikiversions files: Wikidatawiki back to wmf.5 (T179156)	[production]