diff options
| author | chris <chris@jalakai.co.uk> | 2006-03-26 14:29:52 +0200 |
|---|---|---|
| committer | chris <chris@jalakai.co.uk> | 2006-03-26 14:29:52 +0200 |
| commit | aee14112968f933e3b36ff56f1ea55a54970df65 (patch) | |
| tree | 5ccb9bb14a334569cd8fe0ed1a65d30f39d4f24c /lib/plugins/plugin/admin.php | |
| parent | fbf8293902dc7312114b3281713d03bf977793c9 (diff) | |
| download | rpg-aee14112968f933e3b36ff56f1ea55a54970df65.tar.gz rpg-aee14112968f933e3b36ff56f1ea55a54970df65.tar.bz2 | |
plugin manager update / will now expire page, css & js caches after a plugin change
darcs-hash:20060326122952-9b6ab-f6aef3c5b2f9e936d2f32ed148d19bbd8a9da2da.gz
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(); } } |