2018-07-20 - production
14:15	<reedy@deploy1001>	rebuilt and synchronized wikiversions files: wikidatawiki back to .12 T199983	[production]