2015-10-19 - production
17:09	<demon@tin>	Synchronized wmf-config/flaggedrevs.php: use current config, less logspam (duration: 00m 17s)	[production]