Dados não atualizam

eu enviei sem querer mas retornando:
(essa é a parte do topo,é um arquivo separado)
echo “<p class=’pequeno’>”;
if (empty($_SESSION[‘user’])) {
echo “Entrar“;
} else {
echo “Olá,” . $_SESSION[‘user’];
}

echo ‘</p>’;
<?php

esse é a parte de login:

session_start();

if (!isset($_SESSION[‘user’])){
$_SESSION[‘user’] = “matheus melojlkjzzss”;
$_SESSION[‘nome’] = “Matheus masdfsadelo”;
$_SESSION[‘tipo’] = “wedfwefdweafewfwaefwef”;
}

function cripto($senha){
$c = ”;
for($pos = 0;$pos< strlen($senha);$pos++){
$letra = ord($senha[$pos]) + 1;
$c.=chr($letra);
}
return $c;

}

function gerarHash($senha){
$txt = cripto($senha);
$hash = password_hash($txt,PASSWORD_DEFAULT);
return $hash;
}

function testar_Hash($senha,$hash){
$ok = password_verify($senha,$hash);
return $ok;
}

testei no edge e acontece a mesma coisa,eu tenho que reiniciar o navegador não é nem abrir um nova pagina,mas em um dos meus testes aqui descobri que o erro acontece na hora que ele verifica se o usuario esta conigurado(if isset($_session[‘user’]))
mudando o if para (if 1==1) ele atualiza normalmente o user,talvez possa ter mudado algo no php8 estou usando a ultima versão dele,vou dar uma pesquisada e ver se encontro algo

para quem esta com esse problema: dei uma pesquisada e não achei nada,mas hoje quando abri meu codigo testei e o bug sumiu estava tudo funcionando,então acho que era algo com o navegador ou meu xampp não sei ao certo,mas sugiro que quando não funcionar algo no navegador tente em outro navegador,ja aconteceu muitas vezes no brave de ele não atualizar meu css,talvez o chrome seje melhor para desenvolver,nele 99% dos meus erros sumiram