menu.php
1.05 KB
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8"/>
<title>Page principale</title>
<link href="https://cdn.jsdelivr.net/npm/bootstrap@5.0.1/dist/css/bootstrap.min.css"
rel="stylesheet"
integrity="sha384-+0n0xVW2eSR5OomGNYDnhzAbDsOXxcvSN1TPprVMTNDbiYZCxYbOOl7+AMvyTG2x"
crossorigin="anonymous">
<script src="https://cdn.jsdelivr.net/npm/bootstrap@5.0.1/dist/js/bootstrap.bundle.min.js"
integrity="sha384-gtEjrD/SeCtmISkJkNUaaKMoLD0//E1J19smozuHV6z3Iehds+3Ulb9Bn9Plx0x4"
crossorigin="anonymous">
</script>
</head>
<body>
<div>
<a href='menu.php?deconnexion=true'><span>Deconnexion</span></a>
<?php
session_start();
if(isset($_GET['deconnexion'])){
if($_GET['deconnexion']==true){
session_unset();
echo "<meta http-equiv=\"refresh\" content=\"0;url=index.html\">";
//header('Location : index.html');
}
}
if(isset($_SESSION['identifiant'])){
$identifiant = $_SESSION['identifiant'];
echo "<br>Bonjour $identifiant, vous êtes connecté";
}
?>
</div>
</body>
</html>