php.net |  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
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.


Patches

doc-fix-77437 (last revision 2019-01-20 17:57 UTC by girgias@php.net)

Add a Patch

Pull Requests

Add a Pull Request

History

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

Patch Name: doc-fix-77437
Revision:   1548007075
URL:        https://bugs.php.net/patch-display.php?bug=77437&patch=doc-fix-77437&revision=1548007075
 [2019-02-11 00:51 UTC] girgias@php.net
-Status: Assigned +Status: Closed
 
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Fri Apr 19 17:01:30 2024 UTC