(PHP 4, PHP 5)
readline_write_history — Writes the history
This function writes the command history to a file.
Path to the saved file.
Restituisce TRUE in caso di successo, FALSE in caso di fallimento.