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
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If you forgot your password, you can retrieve your password here.
Password:
Status:
Package:
Bug Type:
Summary:
From: nick at ogredata dot com
New email:
PHP Version: OS:

 

 [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)

Pull Requests

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-2025 The PHP Group
All rights reserved.
Last updated: Sun Mar 16 00:01:29 2025 UTC