plugin manager fix: include some missing global $ID

darcs-hash:20050922154548-9b6ab-5dd76b0175dfbd72910795cea430999e54bbb768.gz

lib/plugins/plugin/admin.php

@@ -190,6 +190,7 @@ class ap_manage {
         }
             
         function html_pluginlist() {
+		  global $ID;
 
           foreach ($this->manager->plugin_list as $plugin) {
           
@@ -580,7 +581,10 @@ class ap_manage {
     function is_css($f) { return (substr($f, -4) == '.css'); }
     
     // generate an admin plugin href 
-    function apl($pl, $fn) { return wl($ID,"do=admin&page=plugin".($pl?"&plugin=$pl":"").($fn?"&fn=$fn":"")); }
+    function apl($pl, $fn) { 
+      global $ID; 
+      return wl($ID,"do=admin&page=plugin".($pl?"&plugin=$pl":"").($fn?"&fn=$fn":""));
+    }
     
     // decompress wrapper
     function ap_decompress($file, $target) {