readline_clear_history

(PHP 4, PHP 5)

readline_clear_history -- Limpa a história

Descrição

bool readline_clear_history ( void )

Esta função limpa todo o histórico da linha de comando.