readline_add_history

(PHP 4, PHP 5)

readline_add_history -- Ajoute une ligne à l'historique

Description

bool readline_add_history ( string line )

readline_add_history() ajoute une ligne à l'historique.

Hosting by: Hurra Communications GmbH
Generated: 2007-01-26 18:02:15