Envoi de la ligne de démarrage de la réponse HTTP en PHP

Avec la fonction header, il est également possible d'envoyer la ligne de démarrage de la réponse HTTP. Généralement, cela est utilisé pour indiquer le statut. Principalement pour l'erreur 404 :

<?php
	header('HTTP/1.1 404 Not Found');
?>

Complétez le code pour qu'il envoie l'en-tête d'erreur 404 :

<?php
	$arr = ['a', 'b', 'c'];
	$key = $_GET['key'];
	
	if (isset($arr[$key])) {
		echo $arr[$key];
	} else {
		// envoyer 404
		echo 'error';
	}
?>