(PHP 4, PHP 5, PHP 7)
readline_read_history — Reads the history
$filename
] )This function reads a command history from a file.
filenamePath to the filename containing the command history.
Devuelve TRUE en caso de éxito o FALSE en caso de error.