[DOM] [PHP Version 5.1.6] Supprimer option --disable-dom

Bonjour,

afin de continuer un développement j'aurais besoin de la classe DomDocument...
Php est bien installé sur le serveur mais a été compilé avec l'option --disable-dom.

Ma question est la suivante : comment est-ce que je peux faire pour recompiler (php a surement été installé via yum install php) ou ajouter la classe (le fichier domdocument.cls.php) ?

Merci

Il faudrait déjà déterminer si PHP a été ou non installé avec yum, ce serait plus simple :

Code:

---

yum list installed | grep -i php

---

Par exemple.

Si c'est le cas, il existe probablement un paquet complémentaire destiné à l'extension DOM :

Code:

---

yum install php(5)-dom

---

Ou similaire.

Sinon, en effet, il faudra reprocéder à une compilation.

PS : c'est peut être l'occasion de mettre à jour PHP ;)

Il a bien été installé avec yum.

J'ai procédé à un

Code:

---

1 2	yum install php-dom

---

il a update php-xml.

Mais je ne trouve toujours pas de fichier domdocument.cls.php :(

Comment recompiler php qui a été installer via yum ?

Je dis recompiler car étant donné qu'il a été installé via yum et que dans

Code:

---

1 2

phpinfo()

---

Je peux voir que php a été configuré avec

Code:

---

--disable-dom

---

par défaut...
je ne veux pas réinstaller une version qui va exécuter le même ./configure

help ?

Citation:

---

Envoyé par AllyKo

Mais je ne trouve toujours pas de fichier domdocument.cls.php :(

---

Euh, la classe DomDocument est une classe purement interne (parmi d'autres) à PHP. Il n'y a aucun fichier source qui y correspond.

Citation:

---

Envoyé par AllyKo

Je dis recompiler car étant donné qu'il a été installé via yum et que dans

Code:

---

1 2

phpinfo()

---

Je peux voir que php a été configuré avec

Code:

---

--disable-dom

---

par défaut...

---

Justement, le fait qu'il y ait l'option --disable-dom ne désactive pas forcément et encore moins définitivement l'extension DOM. C'est simplement qu'elle n'est pas incluse sous forme statique (ça aurait été le cas par défaut sinon) ; rien ne vous empêche de l'ajouter sous forme dynamique (à charger) par la suite. C'est ce que réalise généralement tout système/distribution pour plus de souplesse.

Il faudrait redémarrer votre serveur et revérifier la sortie de phpinfo si le module a bien été installé. Même éventuellement le fichier php.ini car il devrait alors charger l'extension (via une ligne extension=dom.so).

En effet, c'est tout bon.

:merci: