<?php
if (session_status() === PHP_SESSION_NONE) {
    session_start();
}

include_once(__DIR__ . '/constants.php');
include_once(__DIR__ . '/functions.php');

$lvl    = isset($_SESSION['privilege']) ? (int)$_SESSION['privilege'] : 1;
$id     = isset($_SESSION['ideleve']) ? (int)$_SESSION['ideleve'] : 0;
$pseudo = isset($_SESSION['pseudo']) ? $_SESSION['pseudo'] : '';
?>