readline_write_history

(PHP 4, PHP 5)

readline_write_history — Writes the history

bool readline_write_history ([ string $filename ] )

This function writes the command history to a file.

Возвращает TRUE в случае успешного завершения или FALSE в случае возникновения ошибки.