2009-08-07 - production
19:12	<robh>	synchronized php-1.5/wmf-config/flaggedrevs.php	[production]