PHP Manual
后退
前进
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.
后退
起点
前进
readline_list_history
上一级
readline_write_history