<?php 

    // First we execute our common code to connection to the database and start the session 
    require("include/session_common.php"); 
     
    // We remove the user's data from the session 
    unset($_SESSION['user']); 
     
    // We redirect them to the login page 
    header("Location: login.html"); 
    die("Redirecting to: login.html");