plugins/admin/PluginManager.php
changeset 999 61d492c43e5f
parent 975 bff25c6113ae
child 1000 dbefcae6b5cd
--- a/plugins/admin/PluginManager.php	Fri May 15 20:23:58 2009 -0400
+++ b/plugins/admin/PluginManager.php	Sat May 16 02:00:20 2009 +0000
@@ -108,7 +108,7 @@
 function page_Admin_PluginManager()
 {
   global $db, $session, $paths, $template, $plugins; // Common objects
-  global $lang;
+  global $lang, $cache;
   if ( $session->auth_level < USER_LEVEL_ADMIN || $session->user_level < USER_LEVEL_ADMIN )
   {
     $login_link = makeUrlNS('Special', 'Login/' . $paths->nslist['Special'] . 'Administration', 'level=' . USER_LEVEL_ADMIN, true);