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