2009-08-20 - production
18:00	<brion>	synchronized php-1.5/wmf-config/flaggedrevs.php 'adding flaggedrevs_wikimedia config'	[production]