plugins/admin/PluginManager.php
changeset 1000 dbefcae6b5cd
parent 999 61d492c43e5f
child 1081 745200a9cc2a
equal deleted inserted replaced
999:61d492c43e5f 1000:dbefcae6b5cd
   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>';
   117     return;
   117     return;
   118   }
   118   }
   119   
   119   
   120   $plugin_list = $plugins->get_plugin_list();
   120   $plugin_list = $plugins->get_plugin_list(null, false);
   121   
   121   
   122   // Are we processing an AJAX request from the smartform?
   122   // Are we processing an AJAX request from the smartform?
   123   if ( $paths->getParam(0) == 'action.json' )
   123   if ( $paths->getParam(0) == 'action.json' )
   124   {
   124   {
   125     // Set to application/json to discourage advertisement scripts
   125     // Set to application/json to discourage advertisement scripts