mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
21 lines
404 B
PHP
21 lines
404 B
PHP
<?php
|
|
|
|
// This page tries to find the manual page for "bin"
|
|
// because people can access that page by using
|
|
// http://www.php.net/bin as a REQUEST_URI
|
|
|
|
require_once 'prepend.inc';
|
|
require_once 'manual-lookup.inc';
|
|
|
|
$file = find_manual_page(default_language(), "bin");
|
|
|
|
if ($file) {
|
|
header("Location: http://".$SERVER_NAME.$file);
|
|
exit;
|
|
}
|
|
else {
|
|
header("Location: http://".$SERVER_NAME."/");
|
|
exit;
|
|
}
|
|
?>
|