2009-05-12 - production
16:52	<robh>	synchronized php-1.5/InitialiseSettings.php 'for wikimania2010 wiki'	[production]