2010-05-17 - production
19:50 <jeluf> synchronized php-1.5/wmf-config/InitialiseSettings.php '23244 - Enable FlaggedRevs/patrol extension on mkwiki' [production]