This fixes the one fatal shortcoming of PHP's DateTime class that always rustles my fur 3: