Google

NAME="GENERATOR" CONTENT="Modular DocBook HTML Stylesheet Version 1.73 ">

readline_add_history

(PHP 4 )

readline_add_history -- Ajoute une ligne à l'historique

Description

void readline_add_history ( string line)

readline_add_history() ajoute une ligne à l'historique.