un bug entrainait double mise en cache de la description des plugins

ecrire/exec/info_plugin.php

@@ -11,9 +11,16 @@ function exec_info_plugin_dist() {
 	} else {
 		$plug = _DIR_RACINE . _request('plugin');
 		$get_infos = charger_fonction('get_infos','plugins');
-		$info = $get_infos($plug);
+		$dir = "";
+		if (strncmp($plug,_DIR_PLUGINS,strlen(_DIR_PLUGINS))==0)
+			$dir = _DIR_PLUGINS;
+		elseif (strncmp($plug,_DIR_EXTENSIONS,strlen(_DIR_EXTENSIONS))==0)
+			$dir = _DIR_EXTENSIONS;
+		if ($dir)
+			$plug = substr($plug,strlen($dir));
+		$info = $get_infos($plug,false,$dir);
 		$afficher_plugin = charger_fonction("afficher_plugin","plugins");
-		ajax_retour(affiche_bloc_plugin($plug, $info));
+		ajax_retour(affiche_bloc_plugin($plug, $info, $dir));
 	}
 }