(PHP 4 >= 4.0.0)
void readline_add_history (string line)
void readline_add_history
readline_add_history() ajoute une ligne à l'historique.