2009-12-24 - production
15:15 <catrope> synchronized php-1.5/wmf-config/InitialiseSettings.php 'Fix name of oldwikisource -> sourceswiki' [production]