diff options
Diffstat (limited to 'lib/plugins/plugin')
| -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'); |