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