Oui, est nécessaire. Un appel à header("Location: some-location.php")
envoie l'en-tête spécifié (une redirection 302 dans ce cas) au navigateur; mais il ne termine pas le script. Cela devient plus important si les lignes après l'instruction de redirection contiennent du code PHP qui peut s'exécuter involontairement. Donc, si vous voulez envoyer l'en-tête de redirection et annuler tout traitement ultérieur, vous devez appeler die
, exit
, return
ou toute autre construction similaire.
Notez qu'il est possible d'effectuer un traitement supplémentaire après en envoyant l'en-tête de redirection.