PHP Manual
Prev
Next
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.
Prev
Home
Next
readline_list_history
Up
readline_write_history