JavaScript Editor Javascript debugger     Website design 

↑

readline_write_history

Writes the history (PHP 4, PHP 5)
bool readline_write_history ( [string filename] )

This function writes the command history to a file.

Parameters

filename

Path to the saved file.

Return Values

Returns TRUE on success or FALSE on failure.


→