readline_write_history

(PHP 4, PHP 5, PHP 7)

readline_write_historyWrites the history

Descrierea

readline_write_history ([ string $filename ] ) : bool

This function writes the command history to a file.

Parametri

filename

Path to the saved file.

Valorile întoarse

Întoarce valoarea TRUE în cazul succesului sau FALSE în cazul eșecului.