diff options
Diffstat (limited to 'lib/plugins/plugin/admin.php')
| -rw-r--r-- | lib/plugins/plugin/admin.php | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/plugins/plugin/admin.php b/lib/plugins/plugin/admin.php index 8c332d4ed..5fdc73810 100644 --- a/lib/plugins/plugin/admin.php +++ b/lib/plugins/plugin/admin.php @@ -257,6 +257,10 @@ class ap_manage { sort($this->manager->plugin_list = plugin_list('',true)); + // expire dokuwiki caches + // touching local.php expires wiki page, JS and CSS caches + @touch(DOKU_CONF.'local.php'); + // update latest plugin date - FIXME return (!$this->manager->error); } @@ -591,6 +595,9 @@ class ap_manage { } } } + + // refresh plugins, including expiring any dokuwiki cache(s) + $this->refresh(); } } |