From 720cca987ea6f2b1b923df8045c21437ef822369 Mon Sep 17 00:00:00 2001
From: Julio Montoya <gugli100@gmail.com>
Date: Wed, 29 Feb 2012 12:31:16 +0100
Subject: [PATCH] Adding search settings box

---
 main/admin/index.php | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/main/admin/index.php b/main/admin/index.php
index ec4ae08c8e..dae352bcbc 100644
--- a/main/admin/index.php
+++ b/main/admin/index.php
@@ -130,6 +130,15 @@ if (api_is_platform_admin()) {
     $blocks['platform']['icon']  = Display::return_icon('platform.png', get_lang('Platform'), array(), ICON_SIZE_MEDIUM);
     $blocks['platform']['label'] = api_ucfirst(get_lang('Platform'));
     
+    
+    $search_form = ' <form method="get" action="settings.php" class="form-search">
+							<input type="text" name="search_field" value="">
+                            <input type="hidden" value="search_setting" name="category">
+							<button class="search" type="submit">'.get_lang('Search').'</button>
+	            		</form>';
+	$blocks['platform']['search_form'] = $search_form;
+    
+    
     $items = array();
     $items[] = array('url'=>'settings.php', 				'label' => get_lang('PlatformConfigSettings'));
     $items[] = array('url'=>'system_announcements.php', 	'label' => get_lang('SystemAnnouncements'));