(PHP 4, PHP 5)
readline_write_history — Grava a história
$filename
Esta função escreve a história dos comandos em um arquivo.
filename
Caminho para salvar o arquivo.
Retorna TRUE em caso de sucesso ou FALSE em caso de falha.
TRUE
FALSE