documentation/userguide/index.php

<?php
/* Redirect to a different page in the current directory that was requested */
$host  = $_SERVER['HTTP_HOST'];
$uri   = rtrim(dirname($_SERVER['PHP_SELF']), '/\\');
$extra = 'getstarted';
header("Location: http://$host$uri/$extra");
exit;
?>