Extra functionality for PHP's DateTime class