Update DateFormat.php