diff --git a/ecrire/inc_config_plug.php3 b/ecrire/inc_config_plug.php3 index 4a344ab03797677b9680050908b0e81961e74182..128534ac498321b4271628d7ed11f9b31b5c91f2 100644 --- a/ecrire/inc_config_plug.php3 +++ b/ecrire/inc_config_plug.php3 @@ -36,16 +36,11 @@ function installer_plugins () { $plugs = "<"."?php\n\n"; $plugs .= "if(defined('_ECRIRE_INC_PLUGINS')) return;\n"; $plugs .= "define('_ECRIRE_INC_PLUGINS', '1');\n\n"; - while (list(, $nom_fichier) = each($fichiers)) { + foreach($fichiers as $nom_fichier) $plugs .= "include_plug('$nom_fichier');\n"; - } $plugs .= "\n?".">"; - - if ($f = @fopen($GLOBALS['dir_ecrire'].'data/inc_plugins.php3', 'w')) { - @fwrite($f, $plugs); - @fclose($f); - } + ecrire_fichier($GLOBALS['dir_ecrire'].'data/inc_plugins.php3', $plugs); }