Ejemplo n.º 1
0
     echo '<script>
         $(function(){
             $("#tabs").tabs();
         });
         </script>';
     echo '<div id="tabs">';
     echo '<ul>';
     echo '<li><a href="#tabs-1">' . get_lang('Plugins') . '</a></li>';
     echo '<li><a href="#tabs-2">' . get_lang('DashboardPlugins') . '</a></li>';
     echo '<li><a href="#tabs-3">' . get_lang('ConfigureExtensions') . '</a></li>';
     echo '</ul>';
     echo '<div id="tabs-1">';
     handle_plugins();
     echo '</div>';
     echo '<div id="tabs-2">';
     DashboardManager::handle_dashboard_plugins();
     echo '</div>';
     echo '<div id="tabs-3">';
     handle_extensions();
     echo '</div>';
     echo '</div>';
     break;
 case 'Stylesheets':
     // Displaying the extensions: Stylesheets.
     handle_stylesheets();
     break;
 case 'Search':
     handle_search();
     break;
 case 'Templates':
     handle_templates();