From de0328342da83a99f5ef458647fccfcf008528fa Mon Sep 17 00:00:00 2001
From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Tue, 19 Jul 2016 00:33:13 +0100
Subject: [PATCH] Clear code

---
 lib/php/db/wp.php | 21 ++++++++++++++++-----
 1 file changed, 16 insertions(+), 5 deletions(-)

diff --git a/lib/php/db/wp.php b/lib/php/db/wp.php
index a5f70d89..3557bbd0 100644
--- a/lib/php/db/wp.php
+++ b/lib/php/db/wp.php
@@ -1,4 +1,8 @@
 <?php
+if (!class_exists('WP_List_Table')) {
+  echo "Hi there! I'm just a plugin, not much I can do when called directly.\n";
+  exit;
+}
 class html_table extends WP_List_Table {
 
   public $_table;
@@ -17,9 +21,12 @@ class html_table extends WP_List_Table {
   }
 
 	public function search_box( $text='Search', $input_id='search' ) {
-    echo '<form id="searchform" role="search" method="get" action="'.$_SERVER['SCRIPT_NAME'].'">';
-
-    echo '<h1>Table: '
+    echo ''
+      #.'<div id="screen-options-wrap" class="hidden" tabindex="-1" aria-label="Screen Options Tab">'
+      .'<div>'
+      .'<form id="searchform" role="search" method="get" action="'.$_SERVER['SCRIPT_NAME'].'">'
+      .'<fieldset class="screen-options">'
+      .'<h1>Table: '
 
       .'<select name="table" onchange="if(this.value != \'0\') this.form.submit();">'
       .join("",array_map(function($a){
@@ -73,8 +80,12 @@ class html_table extends WP_List_Table {
       #echo '<div>';
     }
 
-    echo '</p>';
-    echo '</form>';
+    echo ''
+      .'</p>'
+      .'</fieldset>'
+      .'</form>'
+      .'</div>'
+    ;
 
     if (0) {
       // Query / Search
-- 
2.47.3