mirror of
https://github.com/php/web-php.git
synced 2026-04-02 12:42:14 +02:00
17 lines
351 B
PHP
17 lines
351 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: $file");
|
|
} else { header("Location: /"); }
|
|
|
|
?>
|