A PHP 5.3+ DateTime extension.