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