2009-05-12 - production
18:37 <robh> synchronized php-1.5/InitialiseSettings.php 'Bug 18430 Enable Collection extension on id.wikipedia.org' [production]