diff --git a/lib/plugins/plugin/admin.php b/lib/plugins/plugin/admin.php index 630bfe92bc16d4c06524d6331de58e1c68be5a0b..9ddf39e3507329290bafc95f845a17302d1465fe 100644 --- a/lib/plugins/plugin/admin.php +++ b/lib/plugins/plugin/admin.php @@ -82,7 +82,6 @@ class admin_plugin_plugin extends DokuWiki_Admin_Plugin { * handle user request */ function handle() { - global $ID, $lang; if ($this->disabled) return;