2010-09-11 - production
02:53 <aaron> synchronized php-1.5/wmf-config/flaggedrevs.php 'removed redundant settings' [production]