readline_write_history

(PHP4 >= 4.0b4)

readline_write_history -- Writes the history

Description

boolean readline_write_history (string filename)

This function writes the command history to a file.