|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Doc Bug #77437 Missing documentation from session_unset()
Submitted: 2019-01-10 06:11 UTC Modified: 2019-02-11 00:51 UTC
From: nick at ogredata dot com Assigned: girgias (profile)
Status: Closed Package: Session related
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
 [2019-01-10 06:11 UTC] nick at ogredata dot com
From manual page:

On the session_destroy page (, 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:

Thank you for all your hard work. I appreciate it.


doc-fix-77437 (last revision 2019-01-20 17:57 UTC by

Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2019-01-11 02:45 UTC]
-Status: Open +Status: Assigned -Package: Documentation problem +Package: Session related -Assigned To: +Assigned To: girgias
 [2019-01-20 17:57 UTC]
The following patch has been added/updated:

Patch Name: doc-fix-77437
Revision:   1548007075
 [2019-02-11 00:51 UTC]
-Status: Assigned +Status: Closed
PHP Copyright © 2001-2022 The PHP Group
All rights reserved.
Last updated: Tue Dec 06 21:05:51 2022 UTC