Doc #77437 [NEW]: Missing documentation from session_unset()
| From: | nick at ogredata dot com | Date: | Thu, 10 Jan 2019 06:11:22 +0000 |
| Subject: | Doc #77437 [NEW]: Missing documentation from session_unset() | ||
| Groups: | php.doc.bugs | ||
| Request: | Send a blank email to doc-bugs+get-16317@lists.php.net to get a copy of this message | ||
From: nick at ogredata dot com
Operating system:
PHP version: Irrelevant
Package: Documentation problem
Bug Type: Documentation Problem
Bug description:Missing documentation from session_unset()
Description:
------------
---
From manual page: https://php.net/function.session-unset
---
On the session_destroy page
(http://php.net/manual/en/function.session-destroy.php), an official
Note says:
"Only use session_unset() for older deprecated code that does not use
$_SESSION"
That note should be on the session_unset page, too!
There's a question about this on StackOverflow from 2014, also:
https://stackoverflow.com/questions/25016744/is-session-unset-deprecated
Thank you for all your hard work. I appreciate it.
--
Edit bug report at https://bugs.php.net/bug.php?id=77437&edit=1
--
Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=77437&r=trysnapshot54
Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=77437&r=trysnapshot55
Try a snapshot (trunk): https://bugs.php.net/fix.php?id=77437&r=trysnapshottrunk
Fixed in SVN: https://bugs.php.net/fix.php?id=77437&r=fixed
Fixed in release: https://bugs.php.net/fix.php?id=77437&r=alreadyfixed
Need backtrace: https://bugs.php.net/fix.php?id=77437&r=needtrace
Need Reproduce Script: https://bugs.php.net/fix.php?id=77437&r=needscript
Try newer version: https://bugs.php.net/fix.php?id=77437&r=oldversion
Not developer issue: https://bugs.php.net/fix.php?id=77437&r=support
Expected behavior: https://bugs.php.net/fix.php?id=77437&r=notwrong
Not enough info: https://bugs.php.net/fix.php?id=77437&r=notenoughinfo
Submitted twice: https://bugs.php.net/fix.php?id=77437&r=submittedtwice
register_globals: https://bugs.php.net/fix.php?id=77437&r=globals
PHP 4 support discontinued: https://bugs.php.net/fix.php?id=77437&r=php4
Daylight Savings: https://bugs.php.net/fix.php?id=77437&r=dst
IIS Stability: https://bugs.php.net/fix.php?id=77437&r=isapi
Install GNU Sed: https://bugs.php.net/fix.php?id=77437&r=gnused
Floating point limitations: https://bugs.php.net/fix.php?id=77437&r=float
No Zend Extensions: https://bugs.php.net/fix.php?id=77437&r=nozend
MySQL Configuration Error: https://bugs.php.net/fix.php?id=77437&r=mysqlcfg