2011-07-08 - production
23:15	<demon>	synchronized php-1.17/wmf-config/InitialiseSettings.php 'bug 28686: new namespaces for brwikimedia'	[production]