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