diff options
author | chris <chris@jalakai.co.uk> | 2006-01-26 02:13:42 +0100 |
---|---|---|
committer | chris <chris@jalakai.co.uk> | 2006-01-26 02:13:42 +0100 |
commit | 20e7ccb0f10f57918093f76e85ca7afe71efb3bf (patch) | |
tree | 84a3664a34876732cba3709c27382dbdfed8999d /inc | |
parent | e77ea1bc9d5f596e8f8916d108e05be855161320 (diff) | |
download | rpg-20e7ccb0f10f57918093f76e85ca7afe71efb3bf.tar.gz rpg-20e7ccb0f10f57918093f76e85ca7afe71efb3bf.tar.bz2 |
config plugin update & removal of $conf['pluginmanager'] option
darcs-hash:20060126011342-9b6ab-40d04573bef34fa4012edac74186355b9a7ff0d9.gz
Diffstat (limited to 'inc')
-rw-r--r-- | inc/pluginutils.php | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/inc/pluginutils.php b/inc/pluginutils.php index 2b1dd4aa8..fe51e5f13 100644 --- a/inc/pluginutils.php +++ b/inc/pluginutils.php @@ -6,51 +6,6 @@ * @author Andreas Gohr <andi@splitbrain.org> */ -/** - * prints needed HTML to include plugin CSS and JS files - * - * @deprecated - now handled by the style and script loader in lib/exe - */ -function plugin_printCSSJS(){ - global $conf; - - 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.'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" charset="utf-8" src="'.DOKU_BASE.$dir.'script.js"></script>'."\n"; - } - } else { - // 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/"; - 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" charset="utf-8" src="'.DOKU_BASE.$dir.'script.js"></script>'."\n"; - } - } - } -} /** * Returns a list of available plugins of given type |