Fix includes, and make redirects based on the already computed

language value
php · Aug 2, 2003 · 6d0f625 · 6d0f625
1 parent 0e76f2a
commit 6d0f625
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 12 deletions.
diff --git a/manual/change.php b/manual/change.php
@@ -1,8 +1,6 @@
 <?php
-
-include_once "prepend.inc";
-
+// $Id$
+include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
 // Redirect to new manual page
 mirror_redirect("/manual/" . $_GET['page']);
-
 ?>
diff --git a/manual/index.php b/manual/index.php
@@ -1,8 +1,5 @@
 <?php
-require_once '../include/prepend.inc';
-
-$lang = default_language();
-if (@is_dir($lang)) {
-  header("Location: $lang/");
-}
-header("Location: en/");
+// $Id$
+include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
+mirror_redirect("/manual/$LANG/index.php");
+?>
diff --git a/manual/phpfi2.php b/manual/phpfi2.php
@@ -1,5 +1,7 @@
 <?php
-include_once 'prepend.inc';
+// $Id$
+$_SERVER['BASE_PAGE'] = '/manual/phpfi2.php';
+include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
 commonHeader('PHP/FI Version 2.0 Documentation');
 ?>