Doc #66500 [Com]: Documentation formatting

Edit report at https://bugs.php.net/bug.php?id=66500&edit=1 ID: 66500 Comment by: narf at devilix dot net Reported by: shawnlunny at gmail dot com Summary: Documentation formatting Status: Open Type: Documentation Problem Package: Documentation problem PHP Version: Irrelevant Block user comment: N Private report: N New Comment: Maybe simply changing the display order would help a bit? Current: $_SERVER -- $HTTP_SERVER_VARS [removed] Alternative: $HTTP_SERVER_VARS [removed] -- $_SERVER Previous Comments: ------------------------------------------------------------------------ [2014-01-19 19:42:44] bjori@php.net 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... ------------------------------------------------------------------------ [2014-01-18 08:42:37] krakjoe@php.net Hannes, I think this is your area, right ?? If not pass it on :) ------------------------------------------------------------------------ [2014-01-16 19:42:02] shawnlunny at gmail dot com Description: ------------ --- From manual page: http://www.php.net/reserved.variables.server --- 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! ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=66500&edit=1