From 20e7ccb0f10f57918093f76e85ca7afe71efb3bf Mon Sep 17 00:00:00 2001 From: chris Date: Thu, 26 Jan 2006 02:13:42 +0100 Subject: config plugin update & removal of $conf['pluginmanager'] option darcs-hash:20060126011342-9b6ab-40d04573bef34fa4012edac74186355b9a7ff0d9.gz --- inc/pluginutils.php | 45 --------------------------------------------- 1 file changed, 45 deletions(-) (limited to 'inc/pluginutils.php') 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 */ -/** - * 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 ' '."\n"; - } - if(@file_exists(DOKU_INC.$dir.'screen.css')){ - print ' '."\n"; - } - if(@file_exists(DOKU_INC.$dir.'print.css')){ - print ' '."\n"; - } - if(@file_exists(DOKU_INC.$dir.'script.js')){ - print ' '."\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 ' '."\n"; - } - if(@file_exists(DOKU_INC.$dir.'screen.css')){ - print ' '."\n"; - } - if(@file_exists(DOKU_INC.$dir.'print.css')){ - print ' '."\n"; - } - if(@file_exists(DOKU_INC.$dir.'script.js')){ - print ' '."\n"; - } - } - } -} /** * Returns a list of available plugins of given type -- cgit v1.2.3