nicht angemeldet
echo $begrüßung;
Weil die Funktion file() diese Information nicht liefert!
Da ist nicht primär file() oder andere Datei-Funktionen schuld, sondern die Protokoll-Wrapper.
und wie kann ich das ändern?
PHP ist open Source - viel Erfolg!
Naja, ganz so schlimm ist es nicht, denn auch das Handbuch ist öffentlich zugänglich. Und da gibt es die Konfigurationsdirektive user_agent oder, wenn man schon bei file() ist, kann man beim Parameter context weiterlesen und kommt da zu stream_context_create().
echo "$verabschiedung $name";