readline_write_history
(PHP 4, PHP 5)
readline_write_history -- Zapisuje historię
Opis
bool
readline_write_history ( [string nazwa_pliku] )
Funkcja ta zapisuje historię poleceń do pliku.