diff --git a/ecrire/inc/plugin.php b/ecrire/inc/plugin.php index d58718c9b9bd0126789ac72277622f3456c2e73e..60ed74b5b17b4f18d28cf710682bd6cca07222c8 100644 --- a/ecrire/inc/plugin.php +++ b/ecrire/inc/plugin.php @@ -23,9 +23,8 @@ include_spip('inc/meta'); function liste_plugin_files(){ $plugin_files=array(); foreach (preg_files(_DIR_PLUGINS, '/plugin[.]xml$') as $plugin) { - $infos = plugin_get_infos($file); - if (isset($infos['nom']) && isset($infos['version']) - && isset($infos['prefix'])) + $infos = plugin_get_infos(dirname($plugin)); + if (!isset($infos['erreur'])) $plugin_files[]=substr(dirname($plugin), strlen(_DIR_PLUGINS)); } sort($plugin_files);