Manuel PHP Référence des fonctions Extensions spécifiques à la ligne de commande Readline Constantes pré-définies Types de ressources Fonctions Readline Constantes pré-définies Cette extension ne définit aucune constante.