Klammern setzen. Vor
isset
die öffnende und nach''
die schließende. Ansonsten wirkt die Operator-Rangfolge anders als du möchtest.
Ahhhh :-) Habs gemacht nun so:
$mail_text .= "HTTP Referer: " . (isset($_SERVER['HTTP_REFERER']) ? $_SERVER['HTTP_REFERER'] : '') . "\n\n";
Nun bekomme ich aber wieder die Ursprüngliche Fehlermeldung:
PHP Notice: Undefined index: HTTP_REFERER in ...
Hab ich mir die Zeile mit dem Referer nun irgendwie doch kaputt gebaut?