summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--inc/pluginutils.php27
-rw-r--r--inc/template.php5
2 files changed, 27 insertions, 5 deletions
diff --git a/inc/pluginutils.php b/inc/pluginutils.php
index 6c758a1be..4988a169c 100644
--- a/inc/pluginutils.php
+++ b/inc/pluginutils.php
@@ -7,19 +7,40 @@
*/
/**
+ * 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 1d55ab102..bbbf5bb6b 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;
}