Manual do PHP
Anterior
Próxima
readline_write_history
(PHP 4 , PHP 5)
readline_write_history -- Grava a história
Descrição
bool
readline_write_history
( string filename )
Esta função escreve a história dos comandos em um arquivo.
Anterior
Principal
Próxima
readline_redisplay
Acima
readline