2012-07-13 - production
15:20	<reedy>	synchronized php-1.20wmf7/includes/DefaultSettings.php	[production]