diff options
-rw-r--r-- | lib/plugins/config/admin.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/plugins/config/admin.php b/lib/plugins/config/admin.php index 7a8fa049c..31414c9e0 100644 --- a/lib/plugins/config/admin.php +++ b/lib/plugins/config/admin.php @@ -79,7 +79,7 @@ class admin_plugin_config extends DokuWiki_Admin_Plugin { // save state & force a page reload to get the new settings to take effect $_SESSION['PLUGIN_CONFIG'] = array('state' => 'updated', 'time' => time()); $this->_close_session(); - header("Location: ".wl($ID,'do=admin&page=config')); + header("Location: ".wl($ID,'do=admin&page=config')); exit(); } |