PHP 手册
后退
前进
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_on_new_line
上一级
readline_redisplay