readline_write_history
(PHP 4, PHP 5, PHP 7, PHP 8)
readline_write_history — Grava o histórico
Descrição
Esta função escreve o histórico dos comandos em um arquivo.
Parâmetros
filename
-
Caminho para salvar o arquivo.
Registro de Alterações
Versão | Descrição |
---|---|
8.0.0 |
filename é anulável agora.
|