Manual
do
PHP
Anterior
Próxima
readline_add_history
readline_add_history -- Adds a line to the history
Description
void
readline_add_history
( string line)
Anterior
Principal
Próxima
Acima