From aee14112968f933e3b36ff56f1ea55a54970df65 Mon Sep 17 00:00:00 2001
From: chris <chris@jalakai.co.uk>
Date: Sun, 26 Mar 2006 14:29:52 +0200
Subject: plugin manager update / will now expire page, css & js caches after a
 plugin change

darcs-hash:20060326122952-9b6ab-f6aef3c5b2f9e936d2f32ed148d19bbd8a9da2da.gz
---
 lib/plugins/plugin/admin.php | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'lib/plugins/plugin/admin.php')

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();
 			}
 			
 		}
-- 
cgit v1.2.3