changement_serveur.php

#credits: Philippe.Baudrion [at] adm.unige.ch
/* Redirige vers une page differente du dossier courant */
$host  = $_SERVER['HTTP_HOST'];
$uri  = rtrim(dirname($_SERVER['PHP_SELF']), '/\\');
$extra = 'mypage.php';
header("Location: http://$host$uri/$extra");
exit;