2009-12-12 - production
22:26	<catrope>	synchronized php-1.5/wmf-config/InitialiseSettings.php 'bug 20442: rename Wikipedia namespace on mhrwiki'	[production]