|
readline_redisplay
Redraws the display
(PHP 5 >= 5.1.0)
|
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 |