readline_write_history

(PHP 4, PHP 5, PHP 7, PHP 8)

readline_write_historyWrites the history

Descrizione

readline_write_history(?string $filename = null): bool

This function writes the command history to a file.

Elenco dei parametri

filename

Path to the saved file.

Valori restituiti

Restituisce true in caso di successo, false in caso di fallimento.

Log delle modifiche

Versione Descrizione
8.0.0 filename is nullable now.