diff options
Diffstat (limited to 'inc/pluginutils.php')
| -rw-r--r-- | inc/pluginutils.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/inc/pluginutils.php b/inc/pluginutils.php index 4d3b5cbd6..a93cca936 100644 --- a/inc/pluginutils.php +++ b/inc/pluginutils.php @@ -7,6 +7,7 @@ */ // plugin related constants +if(!defined('DOKU_PLUGIN')) define('DOKU_PLUGIN',DOKU_INC.'lib/plugins/'); $plugin_types = array('admin','syntax','action'); /** @@ -67,7 +68,7 @@ function &plugin_load($type,$name){ //plugin already loaded? - if($DOKU_PLUGINS[$type][$name] != null){ + if(!empty($DOKU_PLUGINS[$type][$name])){ return $DOKU_PLUGINS[$type][$name]; } |