Podręcznik PHP
Poprzedni
Następny
readline_add_history
(PHP 4, PHP 5)
readline_add_history -- Dodaje linię do historii
Opis
void
readline_add_history
( string linia )
Funkcja ta dodaje linię do historii linii poleceń.
Poprzedni
Spis treści
Następny
GNU Readline
Początek rozdziału
readline_callback_handler_install