Untitled

<?php
session_start();
if(empty($_SESSION["role"])){
    header('Location: connexion.php');
}else{
    echo("
<!DOCTYPE html>
<html lang='en'>
<head>
    <meta charset='UTF-8'>
    <meta name='viewport' content='width=device-width, initial-scale=1.0'>
    <title>Document</title>
</head>
<body>
    <h1>ss</h1>
</body>
</html>
");
}?>