Welcome to the demo'; // echo '
'; $login = require __DIR__ . "/auth.php"; } // The user is logged in – display the attributes $name = $_SESSION['name'] ?? 'unknown'; $email = $_SESSION['email'] ?? 'unknown'; $groups = $_SESSION['groups'] ?? []; echo '