From c327d6c4ca39da52e40a5bf854f4223f32f12196 Mon Sep 17 00:00:00 2001 From: Andreas Gohr Date: Sat, 20 Jan 2007 01:27:31 +0100 Subject: Some renderer plugin updates The namingscheme for renderer plugins now matches the other types, the plugin manager now returns info on renderer plugins, too darcs-hash:20070120002731-7ad00-fcea93a6a6da807103b6aa82d6472196125cb3ec.gz --- inc/pluginutils.php | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'inc/pluginutils.php') diff --git a/inc/pluginutils.php b/inc/pluginutils.php index 183e22229..8e0d686b6 100644 --- a/inc/pluginutils.php +++ b/inc/pluginutils.php @@ -5,18 +5,18 @@ * @license GPL 2 (http://www.gnu.org/licenses/gpl.html) * @author Andreas Gohr */ - + // plugin related constants if(!defined('DOKU_PLUGIN')) define('DOKU_PLUGIN',DOKU_INC.'lib/plugins/'); -$plugin_types = array('admin','syntax','action'); - +$plugin_types = array('admin','syntax','action','renderer'); + /** * Returns a list of available plugins of given type * - * @param $type string, plugin_type name; - * the type of plugin to return, + * @param $type string, plugin_type name; + * the type of plugin to return, * use empty string for all types - * @param $all bool; + * @param $all bool; * false to only return enabled plugins, * true to return both enabled and disabled plugins * @@ -30,9 +30,9 @@ function plugin_list($type='',$all=false){ while (false !== ($plugin = readdir($dh))) { if ($plugin == '.' || $plugin == '..' || $plugin == 'tmp') continue; if (is_file(DOKU_PLUGIN.$plugin)) continue; - - // if required, skip disabled plugins - if (!$all && plugin_isdisabled($plugin)) continue; + + // if required, skip disabled plugins + if (!$all && plugin_isdisabled($plugin)) continue; if ($type=='' || @file_exists(DOKU_PLUGIN."$plugin/$type.php")){ $plugins[] = $plugin; -- cgit v1.2.3