2012-06-08 - production
20:32	<Reedy>	Updated php to point to php-1.20wmf4 rather than php-1.20wmf3	[production]