Manuel PHP Référence des fonctions Autres extensions basiques Judy Installation/Configuration Types de ressources Configuration à l'exécution Judy Types de ressources Cette extension ne définit aucune ressource.