Manuale PHP
Indietro		Avanti

readline_clear_history

(PHP 4 )

readline_clear_history -- Clears the history

Description

bool readline_clear_history ( void)

This function clears the entire command line history.

Indietro	Partenza	Avanti
readline_add_history	Risali	readline_completion_function