Manuel PHP Référence des fonctions Extensions relatives aux variables et aux types Gestion des fonctions Installation/Configuration Types de ressources Configuration à l'exécution Constantes pré-définies Types de ressources Cette extension ne définit aucune ressource.