readline_read_history

(PHP 4, PHP 5)

readline_read_history -- Lit l'historique

Description

bool readline_read_history ( [string filename] )

readline_read_history() lit une ligne de l'historique depuis le fichier filename.

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