PHP Manualen
forrige
næste
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.
forrige
hjem
næste
readline_callback_read_char
op
readline_completion_function