ho trovato nel php.ini del server la voce domxml commentata, ho tolto il #, riavviato il server, ma di domxml_open_file() nessuna traccia...
Che faccio?