(PHP 4, PHP 5, PHP 7)
readline_write_history — Writes the history
$filename
This function writes the command history to a file.
filename
Path to the saved file.
Devuelve TRUE en caso de éxito o FALSE en caso de error.
TRUE
FALSE