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_on_new_line	上一级	readline_redisplay