Index: include/pear-format-html.php
===================================================================
RCS file: /repository/pearweb/include/pear-format-html.php,v
retrieving revision 1.103
diff -u -r1.103 pear-format-html.php
--- include/pear-format-html.php	20 May 2004 13:49:04 -0000	1.103
+++ include/pear-format-html.php	26 May 2004 20:49:39 -0000
@@ -198,6 +198,7 @@
     <small>in the</small>
     <select name="search_in" class="small">
         <option value="packages">Packages</option>
+        <option value="developers">Developers</option>
         <option value="site">This site (using Google)</option>
         <option value="pear-dev">Developer mailing list</option>
         <option value="pear-general">General mailing list</option>
Index: public_html/search.php
===================================================================
RCS file: /repository/pearweb/public_html/search.php,v
retrieving revision 1.7
diff -u -r1.7 search.php
--- public_html/search.php	14 Mar 2004 11:37:48 -0000	1.7
+++ public_html/search.php	26 May 2004 20:49:39 -0000
@@ -33,6 +33,10 @@
 		exit;
 		break;
 
+	case 'developers':
+		localRedirect('/user/' . urlencode($_POST['search_string']));
+		exit;
+
     case "pear-dev" :
     case "pear-cvs" :
     case "pear-general" :