2010-05-25 - production
00:19 <aaron> synchronized php-1.5/wmf-config/flaggedrevs.php 'removed Editor group from flaggedrevs_labswikimedia' [production]