[php] HTML in XHTML konvertieren.

[Felix Marthaler]

>Ich tippe das entweder a) Dein extension_dir falsch steht oder b) die
>Extension im falschen Verzeichnis liegt?

Nein, das ist wohl nicht der Fall, die Datei liegt im Verzeichnis 
/usr/local/lib/php/extionsion/ zusammen mit libphp_java.so und diese wird 
ohne weiteres Erkannt.
Kann es sein, das etwas beim Kompilieren falsch gelaufen ist? oder sonst 
noch eine Idee?

Danke 
Felix