diff options
Diffstat (limited to 'appli_3_alpha_old/app/include/ludo/redir.inc.php')
-rw-r--r-- | appli_3_alpha_old/app/include/ludo/redir.inc.php | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/appli_3_alpha_old/app/include/ludo/redir.inc.php b/appli_3_alpha_old/app/include/ludo/redir.inc.php deleted file mode 100644 index 6baf40d..0000000 --- a/appli_3_alpha_old/app/include/ludo/redir.inc.php +++ /dev/null @@ -1,20 +0,0 @@ -<?php -function html_redir($dest) -{ - header("Location: $dest"); -require_once('html_elements.inc.php'); -generate_html_doctype_and_head("Redirection"); -?> -<body> - <h1>Redirection</h1> - <p>Si vous voyez cette page, merci de suivre le lien ci-dessous</p> -<?php - // Ne respecte pas le XHTML s'il y a des paramètres les & doivent être remplacée par & - echo '<p><a href="' . $dest . '">' . $dest . '</a></p>' . "\n"; -?> -</body> -</html> -<?php - exit(); -} -?>
\ No newline at end of file |