(PHP 4, PHP 5)
readline_add_history — Fügt eine Zeile zur History hinzu
$line
)Diese Funktion fügt eine Zeile zur Kommandozeilen-History hinzu.
line
Die zur History hinzuzufügende Zeile.
Gibt bei Erfolg TRUE
zurück. Im Fehlerfall wird FALSE
zurückgegeben.