mirror of
https://github.com/php/web-php.git
synced 2026-03-24 07:12:16 +01:00
eb015354f1
to access this directly. Download mirror selections are supported via the /get/$filename/from/a/mirror URLs
259 lines
9.4 KiB
PHP
259 lines
9.4 KiB
PHP
<?php
|
|
|
|
// $Id$
|
|
|
|
/*
|
|
|
|
This script handles all 401, 403 and 404 error redirects,
|
|
and some directory requests (like /images). Uses the
|
|
preferred language setting and the REQUEST_URI to guess what
|
|
page should be displayed. In case there is no page that can
|
|
be displayed, the user is redirected to a search page.
|
|
|
|
*/
|
|
|
|
// Ensure that our environment is set up
|
|
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
|
|
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/loadavg.inc';
|
|
|
|
// Get URI for this request (without the leading slash)
|
|
// See langchooser.inc for more info on STRIPPED_URI
|
|
// Also decode special URL parts, eg %20 into a space
|
|
$URI = urldecode(substr($_SERVER['STRIPPED_URI'], 1));
|
|
|
|
// ============================================================================
|
|
// For images, display a 404 automatically (no redirect)
|
|
if (preg_match("!\\.(pdf|gif|jpg|png)$!i", $URI)) { make404(); }
|
|
|
|
// ============================================================================
|
|
// BC: handle .php3 files that were renamed to .php
|
|
if (preg_match("!(.*\\.php)3$!", $URI, $array)) {
|
|
mirror_redirect("/$array[1]");
|
|
}
|
|
|
|
// ============================================================================
|
|
// BC: handle bugs.php moved completely to bugs.php.net
|
|
if (preg_match("!^bugs.php?(.+)$!", $URI, $array)) {
|
|
mirror_redirect("http://bugs.php.net/?$array[1]", TRUE);
|
|
}
|
|
|
|
// ============================================================================
|
|
// BC: handle moving english manual down into its own directory (also supports
|
|
// default language manual accessibilty on mirror sites through /manual/filename)
|
|
if (preg_match("!^manual(/[^/]*)$!", $URI, $array)) {
|
|
mirror_redirect("/manual/$LANG$array[1]");
|
|
} elseif (preg_match("!^manual/html/([^/]+)$!", $URI, $array)) {
|
|
$array[1] = preg_replace("!.html$!", ".php", $array[1]);
|
|
mirror_redirect("/manual/$LANG/print/$array[1]");
|
|
}
|
|
|
|
// ============================================================================
|
|
// Printer friendly manual page handling. It's important that this is included,
|
|
// and not redirected, as this way all relative URL's will retain their meaning
|
|
// and point to pages relative to the print dir (which is nonexistent)
|
|
// We need to override the 404 status in these cases too.
|
|
if (preg_match("!^manual/(\\w+)/(print|printwn)/(.+\\.php)$!", $URI, $parts) &&
|
|
@file_exists($_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/$parts[3]")) {
|
|
@header('HTTP/1.1 200 OK');
|
|
@header('Status: 200 OK',1,200);
|
|
$PRINT_PAGE = TRUE;
|
|
if ($parts[2] == "printwn") { $PRINT_NOTES = TRUE; }
|
|
include $_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/$parts[3]";
|
|
exit;
|
|
}
|
|
|
|
// BC: for old HTML directory (.html extension was used in that)
|
|
elseif (preg_match("!^manual/(\\w+)/html/(.+)\\.(html|php)$!", $URI, $parts) &&
|
|
@file_exists($_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/$parts[2].php")) {
|
|
@header('HTTP/1.1 200 OK');
|
|
@header('Status: 200 OK',1,200);
|
|
$PRINT_PAGE = TRUE;
|
|
include $_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/$parts[2].php";
|
|
exit;
|
|
}
|
|
|
|
// The index file needs to be handled in a special way
|
|
elseif (preg_match("!^manual/(\\w+)/(print|printwn|html)(/)?$!", $URI, $parts) &&
|
|
@file_exists($_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/index.php")) {
|
|
@header('HTTP/1.1 200 OK');
|
|
@header('Status: 200 OK',1,200);
|
|
$PRINT_PAGE = TRUE;
|
|
if ($parts[2] == "printwn") { $PRINT_NOTES = TRUE; }
|
|
include $_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/index.php";
|
|
exit;
|
|
}
|
|
|
|
// ============================================================================
|
|
// Some nice URLs for getting something for download
|
|
if (preg_match("!^get/([^/]+)$!", $URI, $what)) {
|
|
switch ($what[1]) {
|
|
case "php" : $URI = "downloads"; break;
|
|
case "docs" : // intentional
|
|
case "documentation" : $URI = "download-docs"; break;
|
|
case "dochowto" : // intentional
|
|
case "phpdochowto" : $URI = "getdochowto"; break;
|
|
}
|
|
}
|
|
|
|
|
|
// ============================================================================
|
|
// Nice URLs for download files, so wget works completely well with download links
|
|
if (preg_match("!^get/([^/]+)/from/([^/]+)(/mirror)?$!", $URI, $dlinfo)) {
|
|
|
|
$df = $dlinfo[1];
|
|
|
|
// Mirror selection page
|
|
if ($dlinfo[2] == "a") {
|
|
include_once $_SERVER['DOCUMENT_ROOT'] . "/include/get-download.inc";
|
|
exit;
|
|
}
|
|
|
|
// The same mirror is selected
|
|
if ($dlinfo[2] == "this") { $mr = $MYSITE; }
|
|
|
|
// Some other mirror is selected
|
|
else { $mr = "http://{$dlinfo[2]}/"; }
|
|
|
|
// Start the download process
|
|
include $_SERVER['DOCUMENT_ROOT'] . "/include/do-download.inc";
|
|
download_file($mr, $df);
|
|
exit;
|
|
}
|
|
|
|
// Work with lowercased URI from now
|
|
$URI = strtolower($URI);
|
|
|
|
// ============================================================================
|
|
// Define shortcuts for PHP files, manual pages and external redirects
|
|
$uri_aliases = array (
|
|
|
|
# PHP page shortcuts
|
|
"download" => "downloads",
|
|
"getphp" => "downloads",
|
|
"getdocs" => "download-docs",
|
|
"documentation" => "docs",
|
|
"mailinglists" => "mailing-lists",
|
|
"mailinglist" => "mailing-lists",
|
|
"changelog" => "ChangeLog-4",
|
|
"gethelp" => "support",
|
|
"help" => "support",
|
|
"unsubscribe" => "unsub",
|
|
"subscribe" => "mailing-lists",
|
|
"logos" => "download-logos",
|
|
|
|
# manual shortcuts
|
|
"ini" => "configuration",
|
|
|
|
"install" => "installation",
|
|
|
|
"intro" => "introduction",
|
|
"whatis" => "introduction",
|
|
"whatisphp" => "introduction",
|
|
"what_is_php" => "introduction",
|
|
|
|
"windows" => "install.windows",
|
|
"win32" => "install.windows",
|
|
|
|
"globals" => "language.variables.predefined",
|
|
"register_globals" => "security.registerglobals",
|
|
"registerglobals" => "security.registerglobals",
|
|
"gd" => "image",
|
|
|
|
"tut" => "tutorial",
|
|
"tut.php" => "tutorial", // BC
|
|
|
|
"faq.php" => "faq", // BC
|
|
"bugs.php" => "bugs", // BC
|
|
"bugstats.php" => "bugstats", // BC
|
|
|
|
"icap" => "mcal", // mcal is the successor of icap
|
|
|
|
"README.mirror" => "mirroring", // BC
|
|
"ZEND_CHANGES.txt" => "zend-engine-2.php", // BC
|
|
"zend2_example.phps" => "zend-engine-2.php", // BC
|
|
"manual/about-notes.php" => "manual/add-note", // BC
|
|
|
|
# external shortcut aliases ;)
|
|
"dochowto" => "phpdochowto",
|
|
"projects.php" => "projects", // BC
|
|
);
|
|
|
|
$external_redirects = array(
|
|
"php4news" => "http://cvs.php.net/cvs.php/php-src/NEWS?onb=1.1247.2",
|
|
"php5news" => "http://cvs.php.net/co.php/php-src/NEWS?p=1",
|
|
"projects" => "http://freshmeat.net/browse/183/",
|
|
"pear" => "http://pear.php.net/",
|
|
"bugs" => "http://bugs.php.net/",
|
|
"bugstats" => "http://bugs.php.net/bugstats.php",
|
|
"phpdochowto" => "/manual/howto/index.html",
|
|
"getdochowto" => "http://cvs.php.net/co.php/phpdoc/howto/howto.html.tar.gz?p=1",
|
|
"rev" => "/manual/$LANG/revcheck.html.gz",
|
|
"blog" => "/manual/$LANG/build.log.gz",
|
|
);
|
|
|
|
// ============================================================================
|
|
// "Rewrite" the URL, if it was a shortcut
|
|
if (isset($uri_aliases[$URI])) {
|
|
$URI = $uri_aliases[$URI];
|
|
}
|
|
|
|
// ============================================================================
|
|
// Redirect if the entered URI was a PHP page name (except the books page,
|
|
// which we display in the mirror's language or the explicitly specified
|
|
// language [see below])
|
|
if (!in_array($URI, array('books', 'mirror-info', 'error')) &&
|
|
file_exists($_SERVER['DOCUMENT_ROOT'] . "/$URI.php")) {
|
|
mirror_redirect("/$URI.php");
|
|
}
|
|
|
|
// ============================================================================
|
|
// Execute external redirect if a rule exists for the URI
|
|
if (isset($external_redirects[$URI])) {
|
|
$true_external = (substr($external_redirects[$URI], 0, 1) != '/');
|
|
mirror_redirect($external_redirects[$URI], $true_external);
|
|
}
|
|
|
|
// Temporary hack for books and mirror-info, until all the pages
|
|
// will be capable of being included from anywhere
|
|
if (in_array($URI, array('books', 'mirror-info'))) {
|
|
include_once $_SERVER['DOCUMENT_ROOT'] . "/$URI.php";
|
|
}
|
|
|
|
// ============================================================================
|
|
// Try to find the page using the preferred language as a manual page
|
|
include_once "manual-lookup.inc";
|
|
$try = find_manual_page($LANG, $URI);
|
|
if ($try) {
|
|
@header('HTTP/1.1 200 OK');
|
|
@header('Status: 200 OK',1,200);
|
|
include_once $_SERVER['DOCUMENT_ROOT'] . $try;
|
|
exit;
|
|
}
|
|
|
|
// ============================================================================
|
|
// If no match was found till this point, the last action is to start a
|
|
// search with the URI the user typed in
|
|
$fallback = (myphpnet_urlsearch() === MYPHPNET_URL_MANUAL ? "manual" : "quickref");
|
|
mirror_redirect(
|
|
'/search.php?show=' . $fallback . '&lang=' . urlencode($LANG) .
|
|
'&pattern=' . urlencode(substr($_SERVER['REQUEST_URI'], 1))
|
|
);
|
|
|
|
// A 'good looking' 404 error message page
|
|
function make404()
|
|
{
|
|
global $_SERVER;
|
|
@header('HTTP/1.1 404 Not Found');
|
|
@header('Status: 404 Not Found',1,404);
|
|
header("Cache-Control: public, max-age=600");
|
|
commonHeader('404 Not Found');
|
|
echo "<h1>Not Found</h1>\n",
|
|
"<p>The page <b>",
|
|
htmlspecialchars($_SERVER['REQUEST_URI']),
|
|
"</b> could not be found.</p>\n";
|
|
commonFooter();
|
|
exit;
|
|
}
|
|
|
|
?>
|