plugins/admin/PluginManager.php
changeset 524 26287ae2449d
parent 519 94214ec0871c
child 526 b2fb50d572c7
equal deleted inserted replaced
523:9d239396be42 524:26287ae2449d
   251       {
   251       {
   252         if ( !isset($plugin_meta[$key]) )
   252         if ( !isset($plugin_meta[$key]) )
   253           // not set, skip this plugin
   253           // not set, skip this plugin
   254           continue 2;
   254           continue 2;
   255       }
   255       }
       
   256       // decide if it's a system plugin
       
   257       $plugin_meta['system plugin'] = in_array($dh, $plugins->system_plugins);
   256       // all checks passed
   258       // all checks passed
   257       $plugin_list[$dh] = $plugin_meta;
   259       $plugin_list[$dh] = $plugin_meta;
   258     }
   260     }
   259   }
   261   }
   260   echo '<pre>' . print_r($plugin_list, true) . '</pre>';
   262   echo '<pre>' . print_r($plugin_list, true) . '</pre>';