<?php
ob_start(); //Turns on output buffering
session_start();
unset($_SESSION["user"]);
header("Location: /");