GitList
Raw Blame Patch Log History 
<?php
session_start();
session_destroy();
header('Location: index.php');