readline_read_history

(PHP4 >= 4.0b4)

readline_read_history -- Reads the history

Description

boolean readline_read_history (string filename)

This function reads a command history from a file.


Hosted by Tonec Inc.