add user preference for accepted patch #3055886 (LeftDisplayTableFilter)

libraries/config/messages.inc.php

@@ -265,6 +265,7 @@ $strConfigLeftDisplayLogo_desc = __('Show logo in left frame');
 $strConfigLeftDisplayLogo_name = __('Display logo');
 $strConfigLeftDisplayServers_desc = __('Display server choice at the top of the left frame');
 $strConfigLeftDisplayServers_name = __('Display servers selection');
+$strConfigLeftDisplayTableFilter_name = __('Display table filter');
 $strConfigLeftFrameDBSeparator_desc = __('String that separates databases into different tree levels');
 $strConfigLeftFrameDBSeparator_name = __('Database tree separator');
 $strConfigLeftFrameDBTree_desc = __('Only light version; display databases in a tree (determined by the separator defined below)');

libraries/config/setup.forms.php

@@ -170,6 +170,7 @@ $forms['Left_frame']['Left_databases'] = array(
     'LeftFrameDBSeparator',
     'ShowTooltipAliasDB');
 $forms['Left_frame']['Left_tables'] = array(
+    'LeftDisplayTableFilter',
     'LeftDefaultTabTable',
     'LeftFrameTableSeparator',
     'LeftFrameTableLevel',

libraries/config/user_preferences.forms.php

@@ -81,6 +81,7 @@ $forms['Left_frame']['Left_databases'] = array(
     'LeftFrameDBSeparator',
     'ShowTooltipAliasDB');
 $forms['Left_frame']['Left_tables'] = array(
+    'LeftDisplayTableFilter',
     'LeftDefaultTabTable',
     'LeftFrameTableSeparator',
     'LeftFrameTableLevel',