Types de ressources Readline Fonctions Readline Manuel PHP Constantes pré-définies Cette extension ne définit aucune constante. Types de ressources Readline Fonctions Readline Manuel PHP