2010-06-15 - production
14:25 <aaron> synchronized php-1.5/wmf-config/flaggedrevs.php 'removed clearly redundant $wgFlagRestrictions values' [production]