2009-05-28 - production
17:12	<robh>	synchronized php-1.5/InitialiseSettings.php '16217 Official Korean name for Wikisource'	[production]