Bug #15007: search for "$_SERVER" fails while attempting to search PHP documentation

From: fredk@L5Software.com Operating system: N/A PHP version: 4.1.1 PHP Bug Type: Website problem Bug description: search for "$_SERVER" fails while attempting to search PHP documentation 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 bug report at: http://bugs.php.net/?id=15007&edit=1