(PHP 4, PHP 5)
readline_read_history — Reads the history
$filename
] )This function reads a command history from a file.
filename
Path to the filename containing the command history.
Restituisce TRUE
in caso di successo, FALSE
in caso di fallimento.