Manuale PHP
Indietro
Avanti
readline_clear_history
(PHP 4, PHP 5)
readline_clear_history -- Clears the history
Description
bool
readline_clear_history
( void )
This function clears the entire command line history.
Indietro
Partenza
Avanti
readline_callback_read_char
Risali
readline_completion_function