system/lib-plugins.php
branchHEAD
changeset 7387 39932e68c099
parent 7292 cd653ce9aafb
child 7571 dc6b98fef467
     1.1 --- a/system/lib-plugins.php	Sun Sep 06 15:46:20 2009 +0200
     1.2 +++ b/system/lib-plugins.php	Sun Oct 18 02:05:53 2009 +0100
     1.3 @@ -778,21 +778,6 @@
     1.4  
     1.5      $search_results = array();
     1.6  
     1.7 -    // Search a single plugin if needed
     1.8 -    if ($type != 'all') {
     1.9 -        $function = 'plugin_dopluginsearch_' . $type;
    1.10 -        if (function_exists($function)) {
    1.11 -            $result = $function($query, $datestart, $dateend, $topic, $type, $author, $keyType, $page, $perpage);
    1.12 -            if (is_array($result)) {
    1.13 -                $search_results = array_merge($search_results, $result);
    1.14 -            } else {
    1.15 -                $search_results[] = $result;
    1.16 -            }
    1.17 -        }
    1.18 -
    1.19 -        return $search_results;
    1.20 -    }
    1.21 -
    1.22      foreach ($_PLUGINS as $pi_name) {
    1.23          $function = 'plugin_dopluginsearch_' . $pi_name;
    1.24          if (function_exists($function)) {