(PHP 4 >= 4.0.0)
void readline_add_history (string line)
void readline_add_history
This function adds a line to the command line history.