<?php session_start(); // Unset all session variables $_SESSION = []; // Destroy the session session_destroy(); // redirection header('Location: arbo_test08.php'); exit(); ?>