PHP Handbuch
Zurück		Weiter

readline_add_history

(PHP 4, PHP 5)

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	Weiter
GNU Readline	Nach oben	readline_callback_handler_install