GET for dumping the user onto a mirror
if ($_SERVER['REQUEST_METHOD'] == 'POST') {
$_FORM = &$_POST;
$_SERVER['REQUEST_URI'] = "/search.php?";
$vars = array("show", "pattern", "lang");
foreach ($vars as $varname) {
if (!empty($_POST[$varname])) {
$_SERVER['REQUEST_URI'] .= "$varname=" . urlencode($_POST[$varname]) . "&";
}
}
} else {
$_FORM = &$_GET;
}
// Drive load to mirror sites when searching
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/loadavg.inc';
// ---------------------------------------------------------------------------
// If PHP added some slashes to quotes, get rid of them
if ($MQ) {
foreach ($_FORM as $name => $value) {
$_FORM[$name] = stripslashes($value);
}
}
// We received something to search for
if (!empty($_FORM['pattern'])) {
// Never allow a comma in the show string, that would confuse our JS
$_FORM['show'] = str_replace(",", "", $_FORM['show']);
// Remember the last search settings for a week
mirror_setcookie("LAST_SEARCH", "{$_FORM['show']},{$_FORM['pattern']}", 60*60*24*7);
// Mailing list search base URL
$ml_url = "http://marc.theaimsgroup.com/?r=1&w=2&q=b&";
$ucp = urlencode($_FORM['pattern']);
// Do redirections for external search engines
switch ($_FORM['show']) {
case "quickref" :
$langparam = (isset($EXPL_LANG) ? "&lang=$EXPL_LANG" : "");
mirror_redirect("/manual-lookup.php?pattern={$ucp}{$langparam}");
case "maillist" :
mirror_redirect("{$ml_url}l=php-general&s={$ucp}");
case "devlist" :
mirror_redirect("{$ml_url}l=php-dev&s={$ucp}");
case "phpdoc" :
mirror_redirect("{$ml_url}l=phpdoc&s={$ucp}");
case "bugdb" :
// Redirect to bug page in case of exact number
if (preg_match("!^\\d+$!", $_FORM['pattern'])) {
mirror_redirect("http://bugs.php.net/{$_FORM['pattern']}");
}
// Redirect to bug search page in case of some other pattern
else {
mirror_redirect(
"http://bugs.php.net/search.php?" .
"cmd=Display+Bugs&status=All&bug_type=Any&search_for={$ucp}"
);
}
// Covers "wholesite", "manual" and any malicios targets
default:
mirror_redirect(
"http://www.google.com/search?q={$ucp}+site:www.php.net&l=$LANG"
);
}
}
// No pattern provided, print search page
else {
// Print out common header
site_header("Search", array("noindex"));
if (isset($EXPL_LANG)) {
$lang_input = " \n";
} else {
$lang_input = "\n";
}
?>