<?php
$_SESSION [ 'user_id' ] = NULL;
header ( "Location: " . $config [ 'installation_path' ] . "/" );