(PHP 4, PHP 5)
readline_read_history — Reads the history
$filename
] )This function reads a command history from a file.
filename
Path to the filename containing the command history.
成功时返回 TRUE， 或者在失败时返回 FALSE。
Anonymous (2011-01-26 16:07:23)
Note that the first line in the history file must contain the string: _HiStOrY_V2_
Else it wont work.