diff --git a/inc/pluginutils.php b/inc/pluginutils.php index 6c758a1bec92ac6a2b3407fd514e88fb75148d26..4988a169cdd4e32f2ce1b3fc236730c5ac83719d 100644 --- a/inc/pluginutils.php +++ b/inc/pluginutils.php @@ -6,20 +6,41 @@ * @author Andreas Gohr <andi@splitbrain.org> */ +/** + * prints needed HTML to include plugin CSS files + */ +function plugin_printCSS(){ + $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"; + } + } +} + /** * Returns a list of available plugins of given type * + * Returns all plugins if no type given + * * @author Andreas Gohr <andi@splitbrain.org> */ -function plugin_list($type){ +function plugin_list($type=''){ $plugins = array(); if ($dh = opendir(DOKU_PLUGIN)) { while (false !== ($file = readdir($dh))) { if ($file == '.' || $file == '..') continue; if (is_file(DOKU_PLUGIN.$file)) continue; - if (@file_exists(DOKU_PLUGIN.$file.'/'.$type.'.php')){ - $plugins[] = $file; + if ($type=='' || @file_exists(DOKU_PLUGIN.$file.'/'.$type.'.php')){ + $plugins[] = $file; } } closedir($dh); diff --git a/inc/template.php b/inc/template.php index 1d55ab1022a6d777e5d0ed2dd871fa3a05afc433..bbbf5bb6b55c63c2d03f8ab6d25666b8212ad61f 100644 --- a/inc/template.php +++ b/inc/template.php @@ -207,7 +207,8 @@ function tpl_metaheaders(){ ptln('<script language="javascript" type="text/javascript" charset="utf-8" src="'. DOKU_BASE.'lib/scripts/domTT.js"></script>',$it); - //FIXME include some default CSS ? IE FIX? + // plugin stylesheets + plugin_printCSS(); } /** @@ -603,7 +604,7 @@ function tpl_mediafilelist(){ search($data,$conf['mediadir'],'search_media',array(),$dir); if(!count($data)){ - ptln('<div class="nothing">'.$lang['nothingfound'].'<div>'); + ptln('<div class="nothing">'.$lang['nothingfound'].'</div>'); return; }