plugin_exists-check.patch

   1 --- dokuwiki-2009-02-14/inc/plugincontroller.class.php~ 2009-02-14 14:13:25.000000000 +0200
   2 +++ dokuwiki-2009-02-14/inc/plugincontroller.class.php  2009-10-13 04:18:14.000000000 +0300
   3 @@ -79,7 +79,7 @@
   4      $dir = $this->get_directory($plugin);
   5      $file = $component ? "$type/$component.php" : "$type.php";
   6
   7 -    if (!include_once(DOKU_PLUGIN."$dir/$file")) {
   8 +    if (!file_exists(DOKU_PLUGIN."$dir/$file") || !include_once(DOKU_PLUGIN."$dir/$file")) {
   9        return null;
  10      }
  11