diff options
| -rw-r--r-- | lib/plugins/admin.php | 1 | ||||
| -rw-r--r-- | lib/plugins/plugin/admin.php | 7 |
2 files changed, 7 insertions, 1 deletions
diff --git a/lib/plugins/admin.php b/lib/plugins/admin.php index 113cf60be..480fc07dd 100644 --- a/lib/plugins/admin.php +++ b/lib/plugins/admin.php @@ -60,7 +60,6 @@ class DokuWiki_Admin_Plugin { // plugin introspection methods // extract from class name, format = <plugin type>_plugin_<name>[_<component name>] function getPluginType() { list($t) = explode('_', get_class($this), 2); return $t; } - function getPluginName() { list($t, $p, $n) = explode('_', get_class($this), 4); return $n; } function getPluginComponent() { list($t, $p, $n, $c) = explode('_', get_class($this), 4); return (isset($c)?$c:''); } 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(); } } |