plugins/admin/PluginManager.php
changeset 844 7549f2880c32
parent 812 68060328e9c6
child 869 58bc29c14a4d
equal deleted inserted replaced
843:4415e50e4e84 844:7549f2880c32
   327     
   327     
   328     echo enano_json_encode($return);
   328     echo enano_json_encode($return);
   329     
   329     
   330     return true;
   330     return true;
   331   }
   331   }
       
   332   
       
   333   // Sort so that system plugins come last
       
   334   ksort($plugin_list);
       
   335   $plugin_list_sorted = array();
       
   336   foreach ( $plugin_list as $filename => $data )
       
   337   {
       
   338     if ( !$data['system plugin'] )
       
   339     {
       
   340       $plugin_list_sorted[$filename] = $data;
       
   341     }
       
   342   }
       
   343   ksort($plugin_list_sorted);
       
   344   foreach ( $plugin_list as $filename => $data )
       
   345   {
       
   346     if ( $data['system plugin'] )
       
   347     {
       
   348       $plugin_list_sorted[$filename] = $data;
       
   349     }
       
   350   }
       
   351   
       
   352   $plugin_list =& $plugin_list_sorted;
   332   
   353   
   333   //
   354   //
   334   // Not a JSON request, output normal HTML interface
   355   // Not a JSON request, output normal HTML interface
   335   //
   356   //
   336   
   357