- 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");
+ 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");