From d83af2c27aad3a862a059f1096cef8615ea60821 Mon Sep 17 00:00:00 2001
From: Julio Montoya <gugli100@gmail.com>
Date: Wed, 9 May 2012 14:57:52 +0200
Subject: [PATCH] Adding tabs in the plugin settings

---
 main/admin/settings.lib.php |  7 +++----
 main/admin/settings.php     | 29 +++++++++++++++++++++++++++++
 2 files changed, 32 insertions(+), 4 deletions(-)

diff --git a/main/admin/settings.lib.php b/main/admin/settings.lib.php
index 9a019333dc..2e28457e89 100644
--- a/main/admin/settings.lib.php
+++ b/main/admin/settings.lib.php
@@ -81,7 +81,7 @@ function handle_regions() {
 }
 
 function handle_extensions() {    
-    echo '<div class="page-header"><h2>'.get_lang('ConfigureExtensions').'</h2></div>';
+    echo Display::page_subheader(get_lang('ConfigureExtensions'));
     echo '<a class="btn" href="configure_extensions.php?display=ppt2lp">'.get_lang('Ppt2lp').'</a>';    
     
 }
@@ -105,10 +105,10 @@ function handle_plugins() {
     
     $all_plugins = $plugin_obj->read_plugins_from_path(); 
     $installed_plugins = $plugin_obj->get_installed_plugins(); 
-    $not_installed = array_diff($all_plugins, $installed_plugins);    
+
     
     //Plugins NOT installed
-    echo '<div class="page-header"><h2>'.get_lang('Plugins').'</h2></div>';
+    echo Display::page_subheader(get_lang('Plugins'));
     echo '<form name="plugins" method="post" action="'.api_get_self().'?category='.Security::remove_XSS($_GET['category']).'">';
     echo '<table class="data_table">';
     echo '<tr>';
@@ -167,7 +167,6 @@ function handle_plugins() {
     echo '</table>';
     echo '<br />';
     echo '<button class="save" type="submit" name="submit_plugins">'.get_lang('EnablePlugins').'</button></form>';
-    echo '<br />';
 }
 
 /**
diff --git a/main/admin/settings.php b/main/admin/settings.php
index a838f3a5b8..b0587bea39 100644
--- a/main/admin/settings.php
+++ b/main/admin/settings.php
@@ -378,9 +378,38 @@ if (!empty($_GET['category'])) {
                     Display :: display_confirmation_message(get_lang('DashboardPluginsHaveBeenUpdatedSucesslly'));
                 }
             }
+            
+                
+            
+            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.