(PHP 4, PHP 5)
readline_write_history — Schreibt die History
$filename
] )Diese Funktion schreibt die Kommandozeilen-History in eine Datei.
filename
Pfad zur Datei, in der gespeichert werden soll.
Gibt bei Erfolg TRUE
zurück. Im Fehlerfall wird FALSE
zurückgegeben.