Doc #77437 [PATCH]: Missing documentation from session_unset()

Edit report at https://bugs.php.net/bug.php?id=77437&edit=1 ID: 77437 Patch added by: girgias@php.net Reported by: nick at ogredata dot com Summary: Missing documentation from session_unset() Status: Assigned Type: Documentation Problem Package: Session related PHP Version: Irrelevant Assigned To: girgias Block user comment: N Private report: N New Comment: 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 Previous Comments: ------------------------------------------------------------------------ [2019-01-10 06:11:22] 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. ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=77437&edit=1