Step 1: Understand how a browser redirect actually works.
Sending a visitor to a different URL is done at the HTTP level, by sending a special response header that tells the browser to go fetch a different address instead of the current one.
Step 2: Identify PHP's tool for sending raw HTTP headers.
PHP's header function is exactly this tool, and calling it with a Location value pointing at the new URL, before any other output is sent, instructs the browser to redirect immediately.
Step 3: Note the timing rule and rule out the fake functions.
This call must happen before any HTML or echoed text is output, otherwise the headers have already been sent and the redirect silently fails, and since redirect, navigate, and gotoPage are not real built-in PHP functions, header remains the correct and only genuine choice.
\[ \boxed{\text{header()}} \]