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