diff options
| author | chris <chris@teacherscpd.co.uk> | 2005-08-25 01:15:45 +0200 |
|---|---|---|
| committer | chris <chris@teacherscpd.co.uk> | 2005-08-25 01:15:45 +0200 |
| commit | d66e3ddfed27523627d33cd17905445d27688afa (patch) | |
| tree | be85902f9582635100ca8c11be0d13f61ebe4027 /inc/pluginutils.php | |
| parent | 11e2ce226d64ac98b82ddc93a81eea66160bcc21 (diff) | |
| download | rpg-d66e3ddfed27523627d33cd17905445d27688afa.tar.gz rpg-d66e3ddfed27523627d33cd17905445d27688afa.tar.bz2 | |
non-intrusive changes to support plugin manager
darcs-hash:20050824231545-50fdc-2d0fc2e9efba6c6d740f00c9113d07eabc3963ce.gz
Diffstat (limited to 'inc/pluginutils.php')
| -rw-r--r-- | inc/pluginutils.php | 52 |
1 files changed, 36 insertions, 16 deletions
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")){ |