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.