From 19cdd5e2fde57d53f05570cd50f5ffd223182566 Mon Sep 17 00:00:00 2001
From: Ludovic Pouzenc <ludovic@pouzenc.fr>
Date: Sat, 30 Jun 2018 11:26:37 +0200
Subject: Renommage pour diff entre appli_3_alpha_old et beta_old1
---
appli_3_alpha_old/app/include/ludo/redir.inc.php | 20 --------------------
1 file changed, 20 deletions(-)
delete mode 100644 appli_3_alpha_old/app/include/ludo/redir.inc.php
(limited to 'appli_3_alpha_old/app/include/ludo/redir.inc.php')
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
--
cgit v1.2.3