2010-12-06 - production
22:40	<aaron>	synchronized php-1.5/wmf-config/flaggedrevs.php 'removed redundant config var'	[production]