- var_dump: documentation ( source)
- session_start: documentation ( source)
- session_destroy: documentation ( source)
<?php
var_dump(isset($_SESSION));
session_start();
var_dump(isset($_SESSION));
session_destroy();
var_dump(isset($_SESSION));
?>