WordPress function do you need to use to send users to another URL? code example

wp_redirect( $url );