Code on this page: 
		session_start(); 
		$mt = substr(microtime(true), 0);
		$_SESSION[$mt] = $mt;
		print_r ( $_SESSION );
Reload this page and see the $_SESSION array grow, then logout 
Array
(
    [1747559855.0393] => 1747559855.0393
)