Bug #15007 Updated: search for "$_SERVER" fails while attempting to search PHP documentation
| From: | imajes@php.net | Date: | Sat, 12 Jan 2002 21:35:08 +0000 |
| Subject: | Bug #15007 Updated: search for "$_SERVER" fails while attempting to search PHP documentation | ||
| References: | 1 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-76811@lists.php.net to get a copy of this message | ||
ID: 15007
Updated by: imajes
Old Summary: search for "$_SERVER" fails while attempting to search PHP
documentation
Reported By: fredk@L5Software.com
Old Status: Open
Status: Bogus
Bug Type: Website problem
Operating System: N/A
PHP Version: 4.1.1
New Comment:
yes, we are aware of this, and documentation people are working on
documentation for _* global variables.
Thanks.
Previous Comments:
------------------------------------------------------------------------
[2002-01-12 15:33:43] fredk@L5Software.com
I've seen the new "$_SERVER" (for example) variable arrays mentioned,
as replacements for the old $HTTP_SERVER_VARS (I think) array, but I
wasn't able to easily find any pages that mention them. I therefore
put $_SERVER (no quotes) in the search box, and got pages with the word
"server", not "$_SERVER" so I tried entering "$_SERVER" (a quoted
string), which produced the same results.
Problems:
1. It appears there is no way to find pages with the exact text
$_SERVER using this search system.
2. Discussion of $_SERVER (and $POST, $_ENV, etc.) arrays needs to be
findable in the documentation.
------------------------------------------------------------------------
Edit this bug report at http://bugs.php.net/?id=15007&edit=1