operazioni su config.inc.php