Manuel PHP
PrécédentSuivant

readline_clear_history

(PHP 4 >= 4.0.0)

readline_clear_history -- Efface l'historique

Description

boolean readline_clear_history (void )

readline_clear_history() efface tout l'historique.

PrécédentSommaireSuivant
readline_add_historyNiveau supérieurreadline_completion_function