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