2009-08-07 - production
16:56	<robh>	synchronized php-1.5/wmf-config/InitialiseSettings.php '19401 please rename WikiSaurus namespace on de.wikt'	[production]