JavaScript Editor Javascript debugger     Website design 

↑

readline_read_history

Reads the history (PHP 4, PHP 5)
bool readline_read_history ( [string filename] )

This function reads a command history from a file.

Parameters

filename

Path to the filename containing the command history.

Return Values

Returns TRUE on success or FALSE on failure.


→