A simple API extension for DateTime with PHP 5.3+