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;