2011-07-18 - production
14:08	<reedy>	synchronized php-1.17/wmf-config/InitialiseSettings.php	[production]