ar() . $_REQUEST['path']; } /* * Redirect to the given URL and die */ function redirectTo($url) { http_redirect($url); exit; } } ?>