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