(PHP 4, PHP 5, PHP 7, PHP 8)
readline_write_history — Escribe en el historial
$filename
null
Escribe el historial en el fichero filename.
filename
Ruta de acceso al fichero a guardar.
Devuelve true en caso de éxito o false en caso de error.
true
false