(PHP 4, PHP 5)
readline_add_history — Adds a line to the history
$line
)This function adds a line to the command line history.
line
The line to be added in the history.
Restituisce TRUE
in caso di successo, FALSE
in caso di fallimento.