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