diff options
author | Andreas Gohr <andi@splitbrain.org> | 2010-06-13 11:40:31 +0200 |
---|---|---|
committer | Andreas Gohr <andi@splitbrain.org> | 2010-06-13 11:41:52 +0200 |
commit | b625808123f9b91b9803f98f818d5745bd7692cc (patch) | |
tree | 2a06f14db6042b640c24d2136969feba5952cbdd /lib/plugins/plugin | |
parent | 0181f02104c2e7068dfe8d66353cf8502e34a379 (diff) | |
download | rpg-b625808123f9b91b9803f98f818d5745bd7692cc.tar.gz rpg-b625808123f9b91b9803f98f818d5745bd7692cc.tar.bz2 |
msgs are saved in send_redirect now, less code duplication needed
Diffstat (limited to 'lib/plugins/plugin')
-rw-r--r-- | lib/plugins/plugin/classes/ap_manage.class.php | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/lib/plugins/plugin/classes/ap_manage.class.php b/lib/plugins/plugin/classes/ap_manage.class.php index 297764ebb..eb5348672 100644 --- a/lib/plugins/plugin/classes/ap_manage.class.php +++ b/lib/plugins/plugin/classes/ap_manage.class.php @@ -113,23 +113,14 @@ class ap_manage { * Refresh plugin list */ function refresh() { - global $MSG,$config_cascade; - - //are there any undisplayed messages? keep them in session for display - if (isset($MSG) && count($MSG)){ - //reopen session, store data and close session again - @session_start(); - $_SESSION[DOKU_COOKIE]['msg'] = $MSG; - session_write_close(); - } + global $config_cascade; // expire dokuwiki caches // touching local.php expires wiki page, JS and CSS caches @touch(reset($config_cascade['main']['local'])); // update latest plugin date - FIXME - header('Location: '.wl($ID).'?do=admin&page=plugin'); - exit(); + send_redirect(wl($ID,array('do'=>'admin','page'=>'plugin'),true)); } /** |