2012-05-14 - production
19:01 <reedy> synchronized php-1.20wmf2/LocalSettings.php 'Use newer version' [production]