Configuration à l'exécution Installation/Configuration Fonctions runkit Manuel PHP Types de ressources Cette extension ne définit aucune ressource. Configuration à l'exécution Installation/Configuration Fonctions runkit Manuel PHP