plugins/admin/PluginManager.php
changeset 999 61d492c43e5f
parent 975 bff25c6113ae
child 1000 dbefcae6b5cd
equal deleted inserted replaced
998:be7f9be23973 999:61d492c43e5f
   106 // Plugin manager "2.0"
   106 // Plugin manager "2.0"
   107 
   107 
   108 function page_Admin_PluginManager()
   108 function page_Admin_PluginManager()
   109 {
   109 {
   110   global $db, $session, $paths, $template, $plugins; // Common objects
   110   global $db, $session, $paths, $template, $plugins; // Common objects
   111   global $lang;
   111   global $lang, $cache;
   112   if ( $session->auth_level < USER_LEVEL_ADMIN || $session->user_level < USER_LEVEL_ADMIN )
   112   if ( $session->auth_level < USER_LEVEL_ADMIN || $session->user_level < USER_LEVEL_ADMIN )
   113   {
   113   {
   114     $login_link = makeUrlNS('Special', 'Login/' . $paths->nslist['Special'] . 'Administration', 'level=' . USER_LEVEL_ADMIN, true);
   114     $login_link = makeUrlNS('Special', 'Login/' . $paths->nslist['Special'] . 'Administration', 'level=' . USER_LEVEL_ADMIN, true);
   115     echo '<h3>' . $lang->get('adm_err_not_auth_title') . '</h3>';
   115     echo '<h3>' . $lang->get('adm_err_not_auth_title') . '</h3>';
   116     echo '<p>' . $lang->get('adm_err_not_auth_body', array( 'login_link' => $login_link )) . '</p>';
   116     echo '<p>' . $lang->get('adm_err_not_auth_body', array( 'login_link' => $login_link )) . '</p>';