| Types de ressources <<< |
Constantes prédefinies | readline_add_history >>> |
7.88 Readline (GNU) 7 Index des fonctions Manuel PHP . Introduction . Pré-requis . Installation . Configuration à l'exécution . Types de ressources ->Constantes prédefinies . readline_add_history . readline_clear_history . readline_completion_function . readline_info . readline_list_history . readline_read_history . readline_write_history . readline |
7.88.6 Constantes prédefinies
Cette extension ne définit aucune constante. |
| << | Constantes prédefinies | >> |
| Types de ressources | Readline (GNU) | readline_add_history |