PHP function - datefmt_set_pattern