WordPress.org

Make WordPress Core

Ticket #27316: plugin-install.php.patch

File plugin-install.php.patch, 1.0 KB (added by kidsguide, 4 years ago)
  • plugin-install.php

     
    226226 */
    227227function install_plugins_favorites_form() {
    228228        $user = ! empty( $_GET['user'] ) ? wp_unslash( $_GET['user'] ) : get_user_option( 'wporg_favorites' );
     229        $search = ! empty( $_GET['search'] ) ? wp_unslash( $_GET['search'] ) : '';
    229230        ?>
    230231        <p class="install-help"><?php _e( 'If you have marked plugins as favorites on WordPress.org, you can browse them here.' ); ?></p>
    231232        <form method="get">
     
    233234                <p>
    234235                        <label for="user"><?php _e( 'Your WordPress.org username:' ); ?></label>
    235236                        <input type="search" id="user" name="user" value="<?php echo esc_attr( $user ); ?>" />
     237                        <input type="search" id="search" name="search" value="<?php echo esc_attr( $search ); ?>" placeholder="<?php _e( 'Search' ); ?>" />
    236238                        <input type="submit" class="button" value="<?php esc_attr_e( 'Get Favorites' ); ?>" />
    237239                </p>
    238240        </form>