X-Git-Url: http://git.dj3c1t.com/?a=blobdiff_plain;ds=sidebyside;f=web%2Fapp%2Fmods%2Fadmin%2Fplugins.php;h=0830f2fd599472bc5303af5df06a975ee96facb7;hb=29b6377f43bf4477e04b57069cf779ac1b913bdb;hp=fe804da962d99e75aa778cfd8254c3a01dedf679;hpb=a21fbfe1301f83b72d2815899ff334445b7830cf;p=mtweb

diff --git a/web/app/mods/admin/plugins.php b/web/app/mods/admin/plugins.php
index fe804da..0830f2f 100644
--- a/web/app/mods/admin/plugins.php
+++ b/web/app/mods/admin/plugins.php
@@ -1,45 +1,45 @@
 <?php
 
-  class mw_admin_plugins extends mw_mod
-  {
+  class mw_admin_plugins extends mw_mod{
+
     var $plugins;
 
-    function validate(&$env)
-    { if(($this->plugins = $env->plugins("DESC")) === false) return "impossible de lire la liste des plugins";
+    function validate(&$env){
+      if(($this->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&eacute;s des plugins doivent &ecirc;tre des nombres");
+    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&eacute;s des plugins doivent &ecirc;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"],
+          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 &agrave; jour la priorit&eacute; du plugin ".$plugin_name);
+              if(!$env->set_plugin_data($plugin_name, $plugin_data)){
+                $env->erreur("impossible de mettre &agrave; jour la priorit&eacute; du plugin ".$plugin_name);
                 $OK = false;
                 break;
               }
             }
-            if($OK)
-            { $env->redirect
-              ( $env->url("admin/plugins/index"),
+            if($OK){
+              $env->redirect(
+                $env->url("admin/plugins/index"),
                 "les priorit&eacute;s des plugins ont &eacute;t&eacute; enregistr&eacute;es"
               );
             }
@@ -50,20 +50,20 @@
       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"];
+    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,
+        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("admin/plugins/index"),
+          if($env->set_plugin_data($plugin_name, $plugin_data)){
+            $env->redirect(
+              $env->url("admin/plugins/index"),
               "le plugin a &eacute;t&eacute; install&eacute;"
             );
           }
@@ -74,20 +74,20 @@
       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"];
+    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,
+        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("admin/plugins/index"),
+          if($env->set_plugin_data($plugin_name, $plugin_data)){
+            $env->redirect(
+              $env->url("admin/plugins/index"),
               "le plugin a &eacute;t&eacute; d&eacute;sinstall&eacute;"
             );
           }
@@ -98,22 +98,22 @@
       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"];
+    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,
+            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("admin/plugins/index"),
+              if($env->set_plugin_data($plugin_name, $plugin_data)){
+                $env->redirect(
+                  $env->url("admin/plugins/index"),
                   "le plugin a &eacute;t&eacute; activ&eacute;"
                 );
               }
@@ -128,22 +128,22 @@
       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"];
+    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,
+            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("admin/plugins/index"),
+              if($env->set_plugin_data($plugin_name, $plugin_data)){
+                $env->redirect(
+                  $env->url("admin/plugins/index"),
                   "le plugin a &eacute;t&eacute; d&eacute;sactiv&eacute;"
                 );
               }