2009-05-12 - production
17:03 <robh> synchronized php-1.5/InitialiseSettings.php 'forgot to set the server for wikimania2010' [production]