Manual do PHP
Anterior
Próxima
readline_add_history
(PHP 4 , PHP 5)
readline_add_history -- Adiciona uma linha ao histórico
Descrição
void
readline_add_history
( string line )
Esta função adiciona uma linha ao histórico da linha de comando.
Anterior
Principal
Próxima
GNU Readline
Acima
readline_callback_handler_install