PHP
Handbuch
Zurück
Nach
vorne
readline_add_history
readline_add_history -- Fügt eine Zeile zur History hinzu
Beschreibung
void
readline_add_history
( string zeile)
Diese
Funktion
fügt
eine
Zeile
zur
Kommandozeilen-History
hinzu
.
Zurück
Zum
Anfang
Nach
vorne
Nach
oben