readline_add_history

(PHP 4 >= 4.0.0)

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.