2010-06-09 - production
22:00	<ariel>	synchronized php-1.5/wmf-config/InitialiseSettings.php 'tweak wgCollectionNamespaces setting again'	[production]