Manuel PHP Référence des fonctions Autres extensions basiques Judy Fonctions Judy Judy::size judy_type Fonctions Judy Sommairejudy_type — Retourne le type de tableau Judyjudy_version — Retourne ou affiche la version actuelle de PHP Judy