PHP function - datefmt_set_timezone