2009-08-12 - production
20:48 <andrew> synchronized php-1.5/wmf-config/InitialiseSettings.php 'Fix wgFeedbackNamespaces' [production]