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)
* 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)


Trivial merge