|
readline_add_history
Adds a line to the history
(PHP 4, PHP 5)
|
Change Languagereadline_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 |