diff options
author | chris <chris@teacherscpd.co.uk> | 2005-09-08 02:05:31 +0200 |
---|---|---|
committer | chris <chris@teacherscpd.co.uk> | 2005-09-08 02:05:31 +0200 |
commit | 4f069ddeed6521508507179872b86f5b8b42f9c3 (patch) | |
tree | 9ab41ff219f5448a87ded19f038785365218a187 /inc/pluginutils.php | |
parent | 0bae338a280606d43a4e7e15460c4e345d69de97 (diff) | |
download | rpg-4f069ddeed6521508507179872b86f5b8b42f9c3.tar.gz rpg-4f069ddeed6521508507179872b86f5b8b42f9c3.tar.bz2 |
pluginutils update avoid missing aggregate files before plugin manager has created them
darcs-hash:20050908000531-50fdc-f4542a4c6b597ffeaa8c81afd35a41e667f5fa52.gz
Diffstat (limited to 'inc/pluginutils.php')
-rw-r--r-- | inc/pluginutils.php | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/inc/pluginutils.php b/inc/pluginutils.php index 67ce191a3..d35b0dbc2 100644 --- a/inc/pluginutils.php +++ b/inc/pluginutils.php @@ -12,23 +12,25 @@ function plugin_printCSSJS(){ global $conf; - if (isset($conf['pluginmanager']) && $conf['pluginmanager']) { + if (isset($conf['pluginmanager']) && $conf['pluginmanager'] && + // implicit check that plugin manager has setup the aggregated files - it has styles of its own + @file_exists(DOKU_INC.'lib/plugins/plugin_style.css')) { // 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.'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.'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.'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"; + 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 + // no plugin manager (or aggregate files not setup) so individual instances of these files for any plugin that uses them $plugins = plugin_list(); foreach ($plugins as $p){ $dir = "lib/plugins/$p/"; |