From 0cdf47d1bceb43ef108a4751dbd3463acc991aae Mon Sep 17 00:00:00 2001
From: chris <chris@jalakai.co.uk>
Date: Mon, 19 Sep 2005 17:31:10 +0200
Subject: [PATCH] plugin manager plugin: remove unneeded global declaration
darcs-hash:20050919153110-9b6ab-799ea7bd45d48f64fc26c6e86fe7fb6678173912.gz
---
lib/plugins/plugin/admin.php | 1 -
1 file changed, 1 deletion(-)
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;
--
GitLab