function display_plugins_table() {
global $wp_list_table;
- if ( current_filter() == 'install_plugins_favorites' && empty( $_GET['user'] ) && ! get_user_option( 'wporg_favorites' ) )
- return;
+ if ( current_filter() == 'install_plugins_favorites' && empty( $_GET['user'] ) && ! get_user_option( 'wporg_favorites' ) ) {
+ return;
+ }
- $wp_list_table->display();
+ ?>
+ <form id="plugin-filter" action="" method="post">
+ <?php $wp_list_table->display(); ?>
+ </form>
+ <?php
}
add_action( 'install_plugins_search', 'display_plugins_table' );
add_action( 'install_plugins_popular', 'display_plugins_table' );