2012-07-18 - production
21:28	<notpeter>	adding php5 packages to precise-wikimedia repo	[production]