Merge changes I7057c2e0,Id1fc9c87
authorSiebrand <siebrand@wikimedia.org>
Mon, 24 Sep 2012 17:34:07 +0000 (17:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 24 Sep 2012 17:34:07 +0000 (17:34 +0000)
commit191230ca850e84161c88567567f4a4e9b3d46422
treee421cb0c015248eac9ca1ff7414de6fb11b1dab0
parent5a0092eee2bbea9507cb26824065e14b173ebdee
parentcd1a039320908eed328047d277e79942534a8844
Merge changes I7057c2e0,Id1fc9c87

* changes:
  Remove some PHP 5.2 cruft (we already bailed for < 5.3.2)
  Remove some PHP 5.1 cruft (DateTime has existed since 5.2.0)