Manuel PHP
Précédent
Suivant
readline_clear_history
(PHP 4 )
readline_clear_history -- Efface l'historique
Description
bool
readline_clear_history
( void )
readline_clear_history()
efface tout l'historique.
Précédent
Sommaire
Suivant
readline_add_history
Niveau supérieur
readline_completion_function