|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Doc Bug #66500 Documentation formatting
Submitted: 2014-01-16 19:42 UTC Modified: 2016-03-06 06:00 UTC
Avg. Score:4.3 ± 0.9
Reproduced:2 of 2 (100.0%)
Same Version:1 (50.0%)
Same OS:1 (50.0%)
From: shawnlunny at gmail dot com Assigned:
Status: Open Package: Documentation problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
Have you experienced this issue?
Rate the importance of this bug to you:

 [2014-01-16 19:42 UTC] shawnlunny at gmail dot com
From manual page:

Can you guys specify more clearly that $_SERVER is not depricated? The new page layout made me think $_SERVER and server_vars were both depricated. Thanks!


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2014-01-18 08:42 UTC]
-Assigned To: +Assigned To: bjori
 [2014-01-18 08:42 UTC]
Hannes, I think this is your area, right ?? If not pass it on :)
 [2014-01-19 19:42 UTC]
Hmhm.. We'd have to do something with the markup to distinguish the markup so we can style differently.. Alternatively we would need a highly specifically targeted css for those handful of deprecated variable names.

Don't have any ideas at the moment though...
 [2016-03-06 06:00 UTC]
-Status: Assigned +Status: Open -Assigned To: bjori +Assigned To:
 [2017-03-16 12:31 UTC] narf at devilix dot net
Maybe simply changing the display order would help a bit?

Current:     $_SERVER -- $HTTP_SERVER_VARS [removed]
Alternative: $HTTP_SERVER_VARS [removed] -- $_SERVER
PHP Copyright © 2001-2020 The PHP Group
All rights reserved.
Last updated: Wed Aug 12 01:01:25 2020 UTC