PHP function - datefmt_get_timetype