(PHP 4 >= 4.0b4)
void readline_add_history (string zeile)
void readline_add_history
Diese Funktion fügt eine Zeile zur Kommandozeilen-History hinzu.