| readline_redisplay <<< |
readline_write_history | readline >>> |
8.104 Readline (GNU) 8 Référence des fonctions Manuel PHP . Introduction . Pré-requis . Installation . Configuration à l'exécution . Types de ressources . Constantes pré-définies . readline_add_history . readline_callback_handler_install . readline_callback_handler_remove . readline_callback_read_char . readline_clear_history . readline_completion_function . readline_info . readline_list_history . readline_on_new_line . readline_read_history . readline_redisplay ->readline_write_history . readline |
8.104.18 readline_write_history()Ecrit dans l'historique[ Exemples avec readline_write_history ] PHP 4 , PHP 5 bool readline_write_history ( string filename )readline_write_history écrit l'historique dans le fichier filename . |
| << | readline_write_history | >> |
| readline_redisplay | Readline (GNU) | readline |