Index: plugin-install.php
===================================================================
--- plugin-install.php	(revision 33112)
+++ plugin-install.php	(working copy)
@@ -226,6 +226,7 @@
  */
 function install_plugins_favorites_form() {
 	$user = ! empty( $_GET['user'] ) ? wp_unslash( $_GET['user'] ) : get_user_option( 'wporg_favorites' );
+	$search = ! empty( $_GET['search'] ) ? wp_unslash( $_GET['search'] ) : ''; 
 	?>
 	<p class="install-help"><?php _e( 'If you have marked plugins as favorites on WordPress.org, you can browse them here.' ); ?></p>
 	<form method="get">
@@ -233,6 +234,7 @@
 		<p>
 			<label for="user"><?php _e( 'Your WordPress.org username:' ); ?></label>
 			<input type="search" id="user" name="user" value="<?php echo esc_attr( $user ); ?>" />
+			<input type="search" id="search" name="search" value="<?php echo esc_attr( $search ); ?>" placeholder="<?php _e( 'Search' ); ?>" />
 			<input type="submit" class="button" value="<?php esc_attr_e( 'Get Favorites' ); ?>" />
 		</p>
 	</form>