wp

diff --git a/lib/php/db/wp.php b/lib/php/db/wp.php
index 9cb221248d7b06618394e63e0ccab7bbdcdfebe1..8cddc62ae4378d0c1064cc2cbf7044c60b4e5c50 100644 (file)
--- a/lib/php/db/wp.php
+++ b/lib/php/db/wp.php
@@ -17,7 +17,7 @@ class html_table extends WP_List_Table {
   }
 
        public function search_box( $text='Search', $input_id='search' ) {
-    echo '<form role="search" method="get" action="'.$_SERVER['SCRIPT_NAME'].'">';
+    echo '<form id="searchform" role="search" method="get" action="'.$_SERVER['SCRIPT_NAME'].'">';
 
     echo '<h1>Table: '