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