(PHP 4, PHP 5, PHP 7)
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.
Returns TRUE on success or FALSE on failure.
TRUE
FALSE