Manuel PHP
Précédent		Suivant

readline_clear_history

(PHP 4, PHP 5)

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_callback_read_char	Niveau supérieur	readline_completion_function

Hosting by: Hurra Communications GmbH
Generated: 2007-01-26 18:02:15