diff options
| -rw-r--r-- | lib/plugins/plugin/admin.php | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/plugins/plugin/admin.php b/lib/plugins/plugin/admin.php index 630bfe92b..9ddf39e35 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; |