Manual
do
PHP
Anterior
Próxima
readline_write_history
readline_write_history -- Writes the history
Description
bool
readline_write_history
( string filename)
Anterior
Principal
Próxima
Acima