diff options
author | chris <chris@teacherscpd.co.uk> | 2005-08-25 02:47:56 +0200 |
---|---|---|
committer | chris <chris@teacherscpd.co.uk> | 2005-08-25 02:47:56 +0200 |
commit | 521f0997dc8ddf5d87bdff39a2839d2d9351211f (patch) | |
tree | 8cfded4198335c0f9b2dbfec0bc21d84cdf3128c /inc/pluginutils.php | |
parent | 1f01f37d4b7e80b30d8f5d8f9479080353352fe8 (diff) | |
download | rpg-521f0997dc8ddf5d87bdff39a2839d2d9351211f.tar.gz rpg-521f0997dc8ddf5d87bdff39a2839d2d9351211f.tar.bz2 |
correction to non-intrusive plugin manager patch - now uses correct $conf setting name.
darcs-hash:20050825004756-50fdc-e7d1dfffb9a53c6b8dba757e181f83bdf0809ed8.gz
Diffstat (limited to 'inc/pluginutils.php')
-rw-r--r-- | inc/pluginutils.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/inc/pluginutils.php b/inc/pluginutils.php index 5914c6cd2..c8eed8555 100644 --- a/inc/pluginutils.php +++ b/inc/pluginutils.php @@ -12,7 +12,7 @@ function plugin_printCSSJS(){ global $conf; - if (isset($conf['plugin_manager']) && $conf['plugin_manager']) { + if (isset($conf['pluginmanager']) && $conf['pluginmanager']) { // individual plugin instances of the files swept into one file each $dir = "lib/plugins/plugin_"; if(@file_exists(DOKU_INC.$dir.'style.css')){ |