# HG changeset patch
# User Dan
# Date 1235629643 18000
# Node ID 7549f2880c32bcd1894d29b42e6340094eadbb9c
# Parent  4415e50e4e84ca0744d73b3c66336c85d6dec77b
Plugin manager: system plugins now sorted to last

diff -r 4415e50e4e84 -r 7549f2880c32 plugins/admin/PluginManager.php
--- a/plugins/admin/PluginManager.php	Thu Feb 26 01:07:32 2009 -0500
+++ b/plugins/admin/PluginManager.php	Thu Feb 26 01:27:23 2009 -0500
@@ -330,6 +330,27 @@
     return true;
   }
   
+  // Sort so that system plugins come last
+  ksort($plugin_list);
+  $plugin_list_sorted = array();
+  foreach ( $plugin_list as $filename => $data )
+  {
+    if ( !$data['system plugin'] )
+    {
+      $plugin_list_sorted[$filename] = $data;
+    }
+  }
+  ksort($plugin_list_sorted);
+  foreach ( $plugin_list as $filename => $data )
+  {
+    if ( $data['system plugin'] )
+    {
+      $plugin_list_sorted[$filename] = $data;
+    }
+  }
+  
+  $plugin_list =& $plugin_list_sorted;
+  
   //
   // Not a JSON request, output normal HTML interface
   //