}
}else{
header("index.php?_erreur=1".add_token_in_url(false));
exit();
}
}
# On traite des plugin déjà installés
}elseif(isset($plugin_id)) {
check_token();
// On s'attache à faire les actions demandées sur ce plugin déjà installé
$pluginAmodifier = PlugInPeer::retrieveByPK($plugin_id);
$nom_plugin=$pluginAmodifier->getNom();
// On charge les fonctions d'un éventuel fichier le_plugin/functions_le_plugin.php
$fichier_fonctions=$nom_plugin."/functions_".$nom_plugin.".php";
if (file_exists($fichier_fonctions)) include_once($fichier_fonctions);
switch ($action) {
case "desinstaller":
// traitement ante_desinstallation
$fonction_ante="ante_desinstallation_".$nom_plugin;
if (function_exists($fonction_ante))
{
$retour=$fonction_ante();
if ($retour!="")
{
header("Location: index.php?_erreur=10&_msg=".urlencode("Erreur ante_desinstallation : ".$retour).add_token_in_url(false));
exit();