| PHP Handbuch | ||
|---|---|---|
| Zurück | Nach vorne | |
readline_add_history
Beschreibung
void readline_add_history ( string zeile)Diese Funktion fügt eine Zeile zur Kommandozeilen-History hinzu.
| Zurück | Zum Anfang | Nach vorne |
| GNU Readline | Nach oben | readline_clear_history |
|
|
NAME="GENERATOR"
CONTENT="Modular DocBook HTML Stylesheet Version 1.7">
readline_add_historyBeschreibungvoid readline_add_history ( string zeile)Diese Funktion fügt eine Zeile zur Kommandozeilen-History hinzu.
| ||||||||||||