2017-07-19 - production
19:50	<demon@tin>	rebuilt wikiversions.php and synchronized wikiversions files: Abort wmf.10	[production]