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