<?php
// Start the session on this page too
session_start();

// Clear all the variables we stored in the session
$_SESSION = array();

// Unset the cookie
setcookie(session_name(), "", time() - 3600);

// Destroy the session
session_destroy();

echo "Your session has been destroyed.";