Manuel PHP
Précédent		Suivant

readline_add_history

(PHP 4 , PHP 5)

readline_add_history -- Ajoute une ligne à l'historique

Description

void readline_add_history ( string line )

readline_add_history() ajoute une ligne à l'historique.

Précédent	Sommaire	Suivant
Readline (GNU)	Niveau supérieur	readline_callback_handler_install