Enhancements to PHP Date and Time Extension