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