readline_clear_history

(PHP 4, PHP 5)

readline_clear_history — Efface l'historique

bool readline_clear_history ( void )

Efface l'historique.

Cette fonction retourne TRUE en cas de succès, FALSE en cas d'échec.