mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
39 lines
1.1 KiB
PHP
39 lines
1.1 KiB
PHP
<?php
|
|
|
|
$_SERVER['BASE_PAGE'] = 'manual-lookup.php';
|
|
include __DIR__ . '/include/prepend.inc';
|
|
include __DIR__ . '/include/manual-lookup.inc';
|
|
|
|
// BC code, so pattern and function can both be used as
|
|
// parameters to specify the function name
|
|
$function = '';
|
|
if (!empty($_GET['function']) && is_string($_GET['function'])) {
|
|
$function = htmlspecialchars($_GET['function'], ENT_QUOTES, 'UTF-8');
|
|
} elseif (!empty($_GET['pattern']) && is_string($_GET['pattern'])) {
|
|
$function = htmlspecialchars($_GET['pattern'], ENT_QUOTES, 'UTF-8');
|
|
}
|
|
|
|
if (!empty($_GET['scope']) && is_string($_GET['scope'])) {
|
|
$scope = htmlspecialchars($_GET['scope'], ENT_QUOTES, 'UTF-8');
|
|
|
|
if ($scope == '404quickref') {
|
|
status_header(404);
|
|
}
|
|
} else {
|
|
$scope = '';
|
|
}
|
|
|
|
// Prepare data for search
|
|
if ($function) {
|
|
$function = strtolower($function);
|
|
|
|
// Try to find appropriate manual page
|
|
if ($file = find_manual_page($LANG, $function)) {
|
|
mirror_redirect($file);
|
|
}
|
|
}
|
|
|
|
// Fall back to a quick reference search
|
|
$notfound = $function;
|
|
include __DIR__ . '/quickref.php';
|