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