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