nicht angemeldet
echo $begrüßung;
Die Frage wäre dann, woher nimmst du die URL (inklusive Protokollangabe)? In $_SERVER ist als vollständige URL nur der Referrer enthalten,
Nein, $_SERVER['SCRIPT_URI'] bzw. auch noch $_SERVER['REQUEST_URI'].
Ggf. auch $_SERVER['SCRIPT_URL'] und $_SERVER['argv']
SCRIPT_URI ist nicht genormt und ist nicht überall vorhanden und muss noch nicht mal mit der tatsächlich aufgerufenen URL übereinstimmen.
REQUEST_URI enthält nur den Teil path und query. SCRIPT_URL ist, wenn überhaupt vorhanden, wie REQUEST_URI (möglicherweise aber auch anders, wenn mod_rewrite oder mod_userdir zum Einsatz kam)
Und last but not least: Über die Portnummer läßt sich in allergrößter Not auch noch rückschließen.
Die Betonung liegt auf "allergrößter Not", denn die Portnummer ist ebenso (un)zuverlässig wie der Referrer.
Das sicherste scheint mir immer noch das auch im Handbuch erwähnte HTTPS zu sein.
echo "$verabschiedung $name";