2009-12-07 - production
16:10 <aaron> synchronized php-1.5/wmf-config/flaggedrevs.php 'removed duplicate ptwikisource config (autopromote setting must have been broken)' [production]