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