From 4a6d6c4cd2db8d088fe0878fce5886e720789a69 Mon Sep 17 00:00:00 2001
From: Ryan Boren <ryan@git.wordpress.org>
Date: Thu, 25 Sep 2008 21:42:18 +0000
Subject: [PATCH] Search box in navigation

git-svn-id: https://develop.svn.wordpress.org/trunk@8983 602fd350-edb4-49c9-b593-d223f7449a82
---
 wp-admin/menu-header.php | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/wp-admin/menu-header.php b/wp-admin/menu-header.php
index 0f0526063d..bb784eccf5 100644
--- a/wp-admin/menu-header.php
+++ b/wp-admin/menu-header.php
@@ -120,4 +120,13 @@ _wp_menu_output( $menu, $submenu );
 do_action( 'adminmenu' );
 
 ?>
+<li>
+<form class="search-form" action="<?php echo $pagenow ?>" method="get">
+	<p id="search" class="the-search-box">
+		<label class="hidden" for="tag-search-input"><?php _e( 'Search' ); ?></label>
+		<input type="text" size="15" id="tag-search-input" class="search-input" name="s" value="<?php the_search_query(); ?>" />
+		<input type="submit" value="<?php _e( 'Search' ); ?>" class="button" />
+	</p>
+</form>
+</li>
 </ul>