From d66e3ddfed27523627d33cd17905445d27688afa Mon Sep 17 00:00:00 2001
From: chris <chris@teacherscpd.co.uk>
Date: Thu, 25 Aug 2005 01:15:45 +0200
Subject: non-intrusive changes to support plugin manager

darcs-hash:20050824231545-50fdc-2d0fc2e9efba6c6d740f00c9113d07eabc3963ce.gz
---
 inc/pluginutils.php | 52 ++++++++++++++++++++++++++++++++++++----------------
 1 file changed, 36 insertions(+), 16 deletions(-)

(limited to 'inc/pluginutils.php')

diff --git a/inc/pluginutils.php b/inc/pluginutils.php
index 964635b2c..5914c6cd2 100644
--- a/inc/pluginutils.php
+++ b/inc/pluginutils.php
@@ -10,21 +10,41 @@
  * prints needed HTML to include plugin CSS and JS files
  */
 function plugin_printCSSJS(){
-  $plugins = plugin_list();
-  foreach ($plugins as $p){
-    $dir = "lib/plugins/$p/";
-        if(@file_exists(DOKU_INC.$dir.'style.css')){
-            print '  <link rel="stylesheet" type="text/css" href="'.DOKU_BASE.$dir.'style.css" />'."\n";
-    }
-        if(@file_exists(DOKU_INC.$dir.'screen.css')){
-            print '  <link rel="stylesheet" media="screen" type="text/css" href="'.DOKU_BASE.$dir.'screen.css" />'."\n";
-    }
-        if(@file_exists(DOKU_INC.$dir.'print.css')){
-            print '  <link rel="stylesheet" media="print" type="text/css" href="'.DOKU_BASE.$dir.'print.css" />'."\n";
-    }
-        if(@file_exists(DOKU_INC.$dir.'script.js')){
-      print '  <script type="text/javascript" language="javascript" charset="utf-8" src="'.DOKU_BASE.$dir.'script.js"></script>'."\n";
-    }
+    global $conf;
+    
+    if (isset($conf['plugin_manager']) && $conf['plugin_manager']) {
+        // individual plugin instances of the files swept into one file each
+        $dir = "lib/plugins/plugin_";
+            if(@file_exists(DOKU_INC.$dir.'style.css')){
+                print '  <link rel="stylesheet" type="text/css" href="'.DOKU_BASE.$dir.'style.css" />'."\n";
+        }
+            if(@file_exists(DOKU_INC.$dir.'screen.css')){
+                print '  <link rel="stylesheet" media="screen" type="text/css" href="'.DOKU_BASE.$dir.'screen.css" />'."\n";
+        }
+            if(@file_exists(DOKU_INC.$dir.'print.css')){
+                print '  <link rel="stylesheet" media="print" type="text/css" href="'.DOKU_BASE.$dir.'print.css" />'."\n";
+        }
+            if(@file_exists(DOKU_INC.$dir.'script.js')){
+          print '  <script type="text/javascript" language="javascript" charset="utf-8" src="'.DOKU_BASE.$dir.'script.js"></script>'."\n";
+        }
+    } else {
+        // no plugin manager so individual instances of these files for any plugin that uses them
+        $plugins = plugin_list();
+        foreach ($plugins as $p){
+            $dir = "lib/plugins/$p/";
+            if(@file_exists(DOKU_INC.$dir.'style.css')){
+                print '  <link rel="stylesheet" type="text/css" href="'.DOKU_BASE.$dir.'style.css" />'."\n";
+            }
+            if(@file_exists(DOKU_INC.$dir.'screen.css')){
+                print '  <link rel="stylesheet" media="screen" type="text/css" href="'.DOKU_BASE.$dir.'screen.css" />'."\n";
+            }
+            if(@file_exists(DOKU_INC.$dir.'print.css')){
+                print '  <link rel="stylesheet" media="print" type="text/css" href="'.DOKU_BASE.$dir.'print.css" />'."\n";
+            }
+            if(@file_exists(DOKU_INC.$dir.'script.js')){
+                print '  <script type="text/javascript" language="javascript" charset="utf-8" src="'.DOKU_BASE.$dir.'script.js"></script>'."\n";
+            }
+        }
     }
 } 
 
@@ -39,7 +59,7 @@ function plugin_list($type=''){
   $plugins = array();
   if ($dh = opendir(DOKU_PLUGIN)) {
     while (false !== ($plugin = readdir($dh))) {
-      if ($plugin == '.' || $plugin == '..') continue;
+      if ($plugin == '.' || $plugin == '..' || $plugin == 'tmp') continue;
       if (is_file(DOKU_PLUGIN.$plugin)) continue;
 
       if ($type=='' || @file_exists(DOKU_PLUGIN."$plugin/$type.php")){
-- 
cgit v1.2.3