Hallo,
Nein, PHP ersetzt auch in Zeichenketten Variablennamen, die obige Zeile funktioniert also durchaus wie gewünscht. Das ändert allerdings nichts daran, daß es vielleicht nicht ganz unklug ist, Variablen trotzdem nicht in die Zeichenkette zu schreiben, sondern immer mit . aneinander zu reihen.
Stimmt. Ich war gerade gedanklich bei JavaScript. Die Ersetzung erfolgt aber nur in doppelten Anfuehrungszeichen. Bei '$HTTP_USER_AGENT' staende der Inhalt pur da.
MfG, Thomas