| Constantes prédefinies <<< |
readline_add_history | readline_clear_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.7 readline_add_history()Ajoute une ligne à l'historique[ Exemples avec readline_add_history ] PHP 4 void readline_add_history ( string line )readline_add_history ajoute une ligne à l'historique. |
| << | readline_add_history | >> |
| Constantes prédefinies | Readline (GNU) | readline_clear_history |