2012-04-10 - production
19:07	<reedy>	synchronized php-1.20wmf1/LocalSettings.php 'Push LocalSettings out'	[production]