diff --git a/ecrire/inc/plugin.php b/ecrire/inc/plugin.php index 26c1577669e60cfea9c197755ca87c72f10f5d9a..976b644673b24710c61257610c442ce405babcb1 100644 --- a/ecrire/inc/plugin.php +++ b/ecrire/inc/plugin.php @@ -56,7 +56,6 @@ function liste_plugin_files($dir_plugins = null) { foreach (fast_find_plugin_dirs($dir_plugins) as $plugin) { $plugin_files[$dir_plugins][] = substr($plugin, strlen($dir_plugins)); } - var_dump($plugin_files); sort($plugin_files[$dir_plugins]); // et on lit le XML de tous les plugins pour le mettre en cache