Description:
------------
After session initialization we store data in session super global array but after invocation of session_destroy function which is used to destroy session data in session super global variable should also be unset simultaneously.

Otherwise there is no meaning of session_destroy if data persists in session super global variable

Also according to documentation of session_destroy function as mentioned in php.net

Destroys all data registered to a session

Hence I suggest that data should not persist after session is destroyed in super global $_SESSION variable otherwise there is no reliability of session_destroy() function.

Test script:
---------------
session_start();
$_SESSION['xyz']=99;
session_destroy();
print_r($_SESSION);