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