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