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