2010-08-30 - production
19:34 <robh> synchronized php-1.5/wmf-config/flaggedrevs.php 'setting hiwiki flaggedrevs to same as enwiki' [production]