Remove some PHP 5.1 cruft (DateTime has existed since 5.2.0)
authorChad Horohoe <chadh@wikimedia.org>
Mon, 24 Sep 2012 14:03:30 +0000 (10:03 -0400)
committerChad Horohoe <chadh@wikimedia.org>
Mon, 24 Sep 2012 14:03:30 +0000 (10:03 -0400)
commit4f1f27b664c2e4427eae6187a5ab4d93fe75e03e
tree41a5ec4e7f2ac6deaf0f9c5c717427ab9144c50d
parenta95b4fb926a2edd64f7b1374ef086fd36157626c
Remove some PHP 5.1 cruft (DateTime has existed since 5.2.0)

Change-Id: Id1fc9c874906dcc44abab5b557c8138e6b7ecc50
includes/Timestamp.php