(PHP 4, PHP 5)
readline_write_history — Grava a história
Esta função escreve a história dos comandos em um arquivo.