diff options
author | Chris Smith <chris.eureka@jalakai.co.uk> | 2009-01-22 12:44:57 +0100 |
---|---|---|
committer | Chris Smith <chris.eureka@jalakai.co.uk> | 2009-01-22 12:44:57 +0100 |
commit | f8121585ae97890245b1969cb62fbef583462b7d (patch) | |
tree | 15936160cdbb9a2e22fd9ac53ecfd682c5f22e81 /lib/plugins | |
parent | f0a201c5703333fa2b120cda8e145fb405283908 (diff) | |
download | rpg-f8121585ae97890245b1969cb62fbef583462b7d.tar.gz rpg-f8121585ae97890245b1969cb62fbef583462b7d.tar.bz2 |
further updates to config_cascade patch
- add mediameta and license config files into the cascade
- update the cache validity code in cache.php, css.php & js.php to use config_cascade
- redo inclusion of main config files to avoid suppression of errors in config files
- add getConfigFiles($type) function
- minor updates elsewhere to use config_cascade rather than hardcoded config file names
darcs-hash:20090122114457-f07c6-98ad5627fd5df93edf8dd03289b9cf6d81962afe.gz
Diffstat (limited to 'lib/plugins')
-rw-r--r-- | lib/plugins/plugin/admin.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/plugins/plugin/admin.php b/lib/plugins/plugin/admin.php index 237fe11b8..ddd4081a5 100644 --- a/lib/plugins/plugin/admin.php +++ b/lib/plugins/plugin/admin.php @@ -273,7 +273,7 @@ class ap_manage { * Refresh plugin list */ function refresh() { - global $MSG; + global $MSG,$config_cascade; //are there any undisplayed messages? keep them in session for display if (isset($MSG) && count($MSG)){ @@ -285,7 +285,7 @@ class ap_manage { // expire dokuwiki caches // touching local.php expires wiki page, JS and CSS caches - @touch(DOKU_CONF.'local.php'); + @touch(reset($config_cascade['main']['local'])); // update latest plugin date - FIXME header('Location: '.wl($ID).'?do=admin&page=plugin'); |