(PHP 4 >= 4.0b4)
bool readline_write_history (string filename)
bool readline_write_history
This function writes the command history to a file.