Manuel PHP Référence des fonctions Extensions spécifiques à la ligne de commande Readline Installation/Configuration Types de ressources Configuration à l'exécution Constantes pré-définies Types de ressources Cette extension ne définit aucune ressource.