2011-10-20 - production
05:58	<aaron>	synchronized wmf-config/flaggedrevs.php 'removed redundant settings'	[production]