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