php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Code Issues Packages Projects Releases Wiki Activity

use www.php.net instead of the mirror for the site option in google, in

Browse Source 
case a mirror hasn't been indexed by google.
This commit is contained in:
Andrew Lindeman
2003-05-24 21:11:40 +00:00
parent 0883c55d3a
commit eb2eb53218
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
search.php
View File

@@ -153,7 +153,7 @@ if (isset($pattern)) {
$site = substr($MYSITE, 7, strlen($MYSITE) - 8);
header("Location: http://www.google.com/search?q=" . urlencode($pattern) .
"+site:" . urlencode($site) . "&l=$lang");
"+site:www.php.net&l=$lang");
exit;
// If some local search is needed and we have no support for