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