diff --git a/wp-admin/plugins.php b/wp-admin/plugins.php index be4ec976f..ad7b6e1f0 100644 --- a/wp-admin/plugins.php +++ b/wp-admin/plugins.php @@ -391,9 +391,11 @@ if ( $s ) views(); ?> -
- + search_box( __( 'Search Installed Plugins' ), 'plugin' ); ?> +
+ +