readline_clear_history

(PHP4 >= 4.0b4)

readline_clear_history -- Clears the history

Description

boolean readline_clear_history (void )

This function clears the entire command line history.


Hosted by Tonec Inc.