La librairie File_INI permet de gérer des fichiers INI de manière très simple: lire et écrire. Pour la télécharger, vous pouvez voir et télécharger la librairie dans le dépôt de source à cette adresse:

• http://tasks.d-sites.com/repositories/entry/php-file-ini/src/File_INI.php

Exemple d’utilisation

Voici un exemple d’utilisation très simple, qui montre les deux fonctions de la librairie, read et write. Ainsi, nous allons charger un fichier de configuration INI, modifier une valeur, puis écrire le nouveau fichier INI avec cette valeur modifiée.

<?php
require_once 'File_INI.php';
 
// On ouvre et on lit le fichier INI
$config_ini = new File_INI('my_file.ini');
$_CONFIG = $config_ini->read();
 
// On change une valeur
$_CONFIG['debug'] = false;
 
// On met à jour le fichier INI
$config_ini->write($_CONFIG);
?>

Aussi simple que ça !
N’hésitez pas à me faire parvenir toute suggestion !