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