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ń.

Hosting by: Hurra Communications Sp. z o.o.
Generated: 2007-01-26 18:02:36