web/enmi12/index.php
author Raphael Velt <raph.velt@gmail.com>
Tue, 16 Apr 2013 10:42:09 +0200
changeset 855 ed575da0ee15
parent 780 03e433365026
permissions -rw-r--r--
Merge with 61e3683f9e2340a8c999a4e1f4aa2e4129d45b5b
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
731
03f3f79ba887 Added ENMI and Edito 12/12
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     1
<?php
03f3f79ba887 Added ENMI and Edito 12/12
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     2
// Permanent redirection
03f3f79ba887 Added ENMI and Edito 12/12
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     3
header("HTTP/1.1 301 Moved Permanently");
780
03e433365026 ENMI 12 are back
Raphael Velt <raph.velt@gmail.com>
parents: 774
diff changeset
     4
header("Location: select.php");
731
03f3f79ba887 Added ENMI and Edito 12/12
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     5
exit();
03f3f79ba887 Added ENMI and Edito 12/12
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     6
?>