<?php include_once "auth.inc.php"; include_once "utils.inc.php"; deauthenticate(); redirect_site("index.php");
function assert_is_logged() { if (!is_logged()) { redirect_site("login.php"); exit; } }