X-Git-Url: http://git.dj3c1t.com/?a=blobdiff_plain;ds=sidebyside;f=mw%2Fapp%2Fmods%2Fconfig%2Fplugins.php;fp=mw%2Fapp%2Fmods%2Fconfig%2Fplugins.php;h=0000000000000000000000000000000000000000;hb=422d883e3ed8ee55ee41e3b7826f32b79cea646d;hp=d0621d02019cb6c35a56dd020d82f1abb1c2f883;hpb=e1b64e4088232b9d7b4acb2dc24279bb38fcafba;p=mtweb
diff --git a/mw/app/mods/config/plugins.php b/mw/app/mods/config/plugins.php
deleted file mode 100644
index d0621d0..0000000
--- a/mw/app/mods/config/plugins.php
+++ /dev/null
@@ -1,163 +0,0 @@
-plugins = $env->plugins("DESC")) === false) return "impossible de lire la liste des plugins";
- return true;
- }
-
- function index(&$env){
- if($this->plugins !== false){
- if($_POST){
- $OK = true;
- foreach($this->plugins as $plugin_name => $plugin){
- if(isset($_POST["priorite_".$plugin_name])){
- $this->plugins[$plugin_name]["priorite"] = $_POST["priorite_".$plugin_name];
- if(!preg_match("/^[0-9]+(\.[0-9]+)?$/", $_POST["priorite_".$plugin_name])){
- $env->message("les priorités des plugins doivent être des nombres");
- $OK = false;
- break;
- }
- }
- else $this->plugins[$plugin_name]["priorite"] = 0;
- }
- if($OK){
- foreach($this->plugins as $plugin_name => $plugin){
- $plugin_data = array(
- "installed" => $this->plugins[$plugin_name]["installed"],
- "enabled" => $this->plugins[$plugin_name]["enabled"],
- "priorite" => $this->plugins[$plugin_name]["priorite"]
- );
- if(!$env->set_plugin_data($plugin_name, $plugin_data)){
- $env->erreur("impossible de mettre à jour la priorité du plugin ".$plugin_name);
- $OK = false;
- break;
- }
- }
- if($OK){
- $env->redirect(
- $env->url("config/plugins/index"),
- "les priorités des plugins ont été enregistrées"
- );
- }
- }
- }
- $env->set_out("plugins", $this->plugins);
- }
- else $env->erreur("impossible de lire la liste des plugins");
- }
-
- function install(&$env){
- $plugin_name = $_GET[$env->param("id")];
- if(isset($this->plugins[$plugin_name])){
- $impl = $this->plugins[$plugin_name]["impl"];
- $res = $impl->install($env);
- if($res === true){
- $plugin_data = array(
- "installed" => true,
- "enabled" => false,
- "priorite" => isset($this->plugins[$plugin_name]["priorite"]) ? $this->plugins[$plugin_name]["priorite"] : 0
- );
- if($env->set_plugin_data($plugin_name, $plugin_data)){
- $env->redirect(
- $env->url("config/plugins/index"),
- "le plugin a été installé"
- );
- }
- else $env->erreur("impossible de mettre à jour le statut du plugin ".$plugin_name);
- }
- else $env->erreur("erreur lors de l'installation du plugin ".$plugin_name."
".$res);
- }
- else $env->erreur("impossible de trouver le plugin ".$plugin_name);
- }
-
- function uninstall(&$env){
- $plugin_name = $_GET[$env->param("id")];
- if(isset($this->plugins[$plugin_name])){
- $impl = $this->plugins[$plugin_name]["impl"];
- $res= $impl->uninstall($env);
- if($res === true){
- $plugin_data = array(
- "installed" => false,
- "enabled" => false,
- "priorite" => isset($this->plugins[$plugin_name]["priorite"]) ? $this->plugins[$plugin_name]["priorite"] : 0
- );
- if($env->set_plugin_data($plugin_name, $plugin_data)){
- $env->redirect(
- $env->url("config/plugins/index"),
- "le plugin a été désinstallé"
- );
- }
- else $env->erreur("impossible de mettre à jour le statut du plugin ".$plugin_name);
- }
- else $env->erreur("erreur lors de la désinstallation du plugin ".$plugin_name."
".$res);
- }
- else $env->erreur("impossible de trouver le plugin ".$plugin_name);
- }
-
- function enable(&$env){
- $plugin_name = $_GET[$env->param("id")];
- if(isset($this->plugins[$plugin_name])){
- if($this->plugins[$plugin_name]["installed"]){
- if(!$this->plugins[$plugin_name]["enabled"]){
- $impl = $this->plugins[$plugin_name]["impl"];
- $res = $impl->enable($env);
- if($res === true){
- $plugin_data = array(
- "installed" => true,
- "enabled" => true,
- "priorite" => isset($this->plugins[$plugin_name]["priorite"]) ? $this->plugins[$plugin_name]["priorite"] : 0
- );
- if($env->set_plugin_data($plugin_name, $plugin_data)){
- $env->redirect(
- $env->url("config/plugins/index"),
- "le plugin a été activé"
- );
- }
- else $env->erreur("impossible de mettre à jour le statut du plugin ".$plugin_name);
- }
- else $env->erreur("erreur lors de l'activation du plugin ".$plugin_name."
".$res);
- }
- else $env->erreur("le plugin ".$plugin_name." est déjà actif");
- }
- else $env->erreur("le plugin ".$plugin_name." n'est pas installé");
- }
- else $env->erreur("impossible de trouver le plugin ".$plugin_name);
- }
-
- function disable(&$env){
- $plugin_name = $_GET[$env->param("id")];
- if(isset($this->plugins[$plugin_name])){
- if($this->plugins[$plugin_name]["installed"]){
- if($this->plugins[$plugin_name]["enabled"]){
- $impl = $this->plugins[$plugin_name]["impl"];
- $res = $impl->disable($env);
- if($res === true){
- $plugin_data = array(
- "installed" => true,
- "enabled" => false,
- "priorite" => isset($this->plugins[$plugin_name]["priorite"]) ? $this->plugins[$plugin_name]["priorite"] : 0
- );
- if($env->set_plugin_data($plugin_name, $plugin_data)){
- $env->redirect(
- $env->url("config/plugins/index"),
- "le plugin a été désactivé"
- );
- }
- else $env->erreur("impossible de mettre à jour le statut du plugin ".$plugin_name);
- }
- else $env->erreur("erreur lors de la désactivation du plugin ".$plugin_name."
".$res);
- }
- else $env->erreur("le plugin ".$plugin_name." est déjà inactif");
- }
- else $env->erreur("le plugin ".$plugin_name." n'est pas installé");
- }
- else $env->erreur("impossible de trouver le plugin ".$plugin_name);
- }
-
- }
-
-?>
\ No newline at end of file