Update DateExtension.php