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