diff --git a/lib/plugins/config/admin.php b/lib/plugins/config/admin.php index 7a8fa049ce2724ffdbfe42ddb195141a3350fcf2..31414c9e04a1228f7f7765ce8b00192dde1eb816 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(); }