Manuel PHP Précédent Suivant readline_write_history() écrit filename dans l 'historique. Précédent Sommaire Suivant Niveau supérieur