PHP Manual
后退		前进

readline_add_history

(PHP 4, PHP 5)

readline_add_history -- Adds a line to the history

Description

void readline_add_history ( string line )

This function adds a line to the command line history.

后退	起点	前进
GNU Readline	上一级	readline_callback_handler_install