mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
18 lines
359 B
C++
18 lines
359 B
C++
<?php // -*- C++ -*-
|
|
|
|
require_once 'prepend.inc';
|
|
require_once 'manual-lookup.inc';
|
|
|
|
$function = strtolower($function);
|
|
if (!isset($lang)) $lang = $MIRRORS[$MYSITE][6];
|
|
|
|
$file = find_manual_page($lang, $function);
|
|
|
|
if ($file) {
|
|
header("Location: $file");
|
|
exit;
|
|
}
|
|
|
|
header("Location: search.php?pattern=".urlencode($function)."&show=nosource");
|
|
exit;
|