readline_add_history

(PHP 4 >= 4.0b4)

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.