readline_add_history

(PHP 4 , PHP 5)

readline_add_history -- Adiciona uma linha ao histórico

Descrição

void readline_add_history ( string line )

Esta função adiciona uma linha ao histórico da linha de comando.