Ticket #27316: plugin-install.php.patch

plugin-install.php

@@ -226 +226 @@
  */
 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 +234 @@
                 <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>