Senden der HTTP-Startzeile der Antwort in PHP

Mit der Funktion header kann man auch die Startzeile der HTTP-Antwort senden. In der Regel wird dies verwendet, um den Statuscode anzugeben. Hauptsächlich für den 404-Fehler:

php<?php
  header('HTTP/1.1 404 Not Found');
?>
Задание 1

Ergänzen Sie den Code so, dass der Header für den 404-Fehler gesendet wird:

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