PHP Manualen
forrige
næste
readline_read_history
(PHP 4, PHP 5)
readline_read_history -- Reads the history
Description
bool
readline_read_history
( [string filename] )
This function reads a command history from a file.
forrige
hjem
næste
readline_on_new_line
op
readline_redisplay