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