Hallo

Ansonsten gäbe es noch $_SERVER["SCRIPT_URI"]

das funktioniert auch auf meinem Server.

Tja, man soll es nicht für möglich halten, aber es gibt auf meinem eigenen Webspace weder $_SERVER["SCRIPT_URI"] noch eine andere Server- oder Umgebungsvariable, die die URL samt Protokoll enthält. Also muss ich einen anderen Ansatz suchen. Das wird wohl auf JavaScript mit einem ersatzweisen Hinweis, die URL genauestens zu prüfen, hinauslaufen.

Tschö, Auge