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