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