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