Manuel PHP Précédent Suivant readline_add_history() ajoute une ligne à l 'historique. Précédent Sommaire Suivant Readline (GNU) Niveau supérieur