readline_write_history
(PHP 4, PHP 5)
readline_write_history — Grava a história
Descrição
bool readline_write_history
( string $filename
)
Esta função escreve a história dos comandos em um arquivo.
(PHP 4, PHP 5)
readline_write_history — Grava a história
Esta função escreve a história dos comandos em um arquivo.