Manuel PHP Précédent Suivant ini_restore() restaure la valeur originale de l 'option de configuration varname. Voir aussi ini_alter(), ini_get() et ini_set() Précédent Sommaire Suivant Niveau supérieur