1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00

Simulate a /pear shortcut call here (as this page may come up for some

other requests too, like /pear/index.php or /pear/index).
This commit is contained in:
Gabor Hojtsy
2003-01-08 19:17:50 +00:00
parent 0771b73a48
commit 87e5c15113

View File

@@ -1,20 +1,8 @@
<?php
// This page tries to find the manual page for PEAR
// because people can access that page by using
// http://www.php.net/pear as a REQUEST_URI
// Simulate a /pear shortcut call
include_once 'prepend.inc';
$REQUEST_URI = '/pear';
include_once "$DOCUMENT_ROOT/error/index.php";
require_once 'prepend.inc';
require_once 'manual-lookup.inc';
$file = find_manual_page(default_language(), "pear");
if ($file) {
header("Location: http://".$SERVER_NAME.$file);
exit;
}
else {
header("Location: http://".$SERVER_NAME."/");
exit;
}
?>
?>