diff --git a/ecrire/inc_version.php3 b/ecrire/inc_version.php3 index debe9081bf7d62514d7abe220f0a4f7b96b25b8b..084e392e225017ee22373341fd2eebeadee6818d 100644 --- a/ecrire/inc_version.php3 +++ b/ecrire/inc_version.php3 @@ -360,12 +360,14 @@ if (@file_exists(_FILE_OPTIONS)) { } // charger les definitions des plugins -if ($plugins) { +function charger_plugins($plugins) { foreach ($plugins as $plug) { include(_DIR_RACINE.'plugins/'.$plug.'/version.php'); } #var_dump($plugins);var_dump($spip_pipeline);var_dump($spip_matrice);exit; } +if ($plugins) + charger_plugins($plugins); // // Definition des repertoires standards