2010-07-20 - production
15:15	<robh>	synchronized php-1.5/wmf-config/InitialiseSettings.php	[production]