[php] HTTP_USER_AGENT von php selbst aendern

[Hendrik Mans]

> Kann ich nun in configure.in einfach die entsprechende
> Versionsnummer löschen
> bzw. durch etwas eigenes ersetzen (z.B. meine E-Mailaddy ;) oder
> gibt es noch
> einen anderen Weg den gesendeten HTTP_USER_AGENT zu ändern?

Ich habe gerade selber ein bisschen im Code rumgewühlt, habe aber nicht das
gefunden, wonach ich suchte. Irgendwo (?!) muss PHP ja den GET-Request
senden, dort steht auch der Agent drin (wie das Feld genau heisst, ist mit
entfallen; sonst wäre die Suche danach etwas einfacher gewesen :b - sehr
wahrscheinlich "User-Agent: ..." oder so). Dort solltest Du's ändern, denn
man kann nie wissen, wie PHP reagiert, wenn man die Versionsnummer ändert.
Vielleicht springt es von der Festplatte und frisst Neugeborene? ;)

Gruß,
Hendrik, ebenfalls nachtaktiv und in den neuen IRC-Client bersirc verknallt
(www.bersirc.com)