readline_write_history

(PHP 4, PHP 5, PHP 7)

readline_write_historyЗаписать историю команд в файл

Описание

readline_write_history ([ string $filename ] ) : bool

Эта функция записывает историю команд в файл.

Список параметров

filename

Путь к файлу.

Возвращаемые значения

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