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