ID: 15007
Comment by: [EMAIL PROTECTED]
Old Reported By: [EMAIL PROTECTED]
Reported By: [EMAIL PROTECTED]
Status: Duplicate
Bug Type: Website problem
Operating System: N/A
PHP Version: 4.1.1
New Comment:

The _ in "_SERVER" get's ignored.  _SERVER_ is the same, 553 of
unrelated results (I swear it was 2000 before :).  HTTP_SERVER_VARS
works fine.  Someone here knows htdig, maybe can adjust?

I assume $_SERVER is somewhere in the online manual user comments.  The
info in the manual CVS now but the manual has some build difficulties
currently.  Regardless, _SERVER != SERVER.  Maybe making such an
adjustment will cause other problems?

This is a duplicate, in that imho it's a feature request to add custom
"go" words to the search mechanism.  Ideally, we can create a list of
words and where they should point to in manual upon the search. 
Working with a list of popular searches will be helpful too.


Previous Comments:
------------------------------------------------------------------------

[2002-01-15 07:15:41] [EMAIL PROTECTED]

Dupe of #14378

------------------------------------------------------------------------

[2002-01-13 06:25:10] [EMAIL PROTECTED]

Please use "_SERVER" as your search term. $ may be special
for htdig.

------------------------------------------------------------------------

[2002-01-12 17:09:53] [EMAIL PROTECTED]

This appears to be a website problem, not a documentation problem. 
Searching for '$_SERVER' results in matches for 'server', over 2000 of
them.  If this was a documentation problem, zero results would exist.

This is a website problem/feature request.

------------------------------------------------------------------------

[2002-01-12 16:55:15] [EMAIL PROTECTED]

Reclassified, reopened.

------------------------------------------------------------------------

[2002-01-12 16:46:10] [EMAIL PROTECTED]

I appreciate you're working on the _* documentation, but the problem
remains there is no way to search for "$_SERVER" and get results that
contain the exact string

------------------------------------------------------------------------

The remainder of the comments for this report are too long. To view
the rest of the comments, please view the bug report online at
    http://bugs.php.net/?id=15007


Edit this bug report at http://bugs.php.net/?id=15007&edit=1


-- 
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
To contact the list administrators, e-mail: [EMAIL PROTECTED]

Reply via email to