PHP
Handbuch
Zurück
Nach
vorne
readline_write_history
readline_write_history -- Schreibt die History
Beschreibung
bool
readline_write_history
( string Dateiname)
Diese
Funktion
schreibt
die
Kommando-History
in
eine
Datei
.
Zurück
Zum
Anfang
Nach
vorne
Nach
oben