readline_clear_history

(PHP 4 , PHP 5)

readline_clear_history -- Löscht die History

Beschreibung

bool readline_clear_history ( void )

Diese Funktion löscht die gesamte Kommandozeilen-History.