2013-10-03 - production
18:39	<reedy>	synchronized php-1.22wmf20/includes/DefaultSettings.php	[production]