bug #3300981 [navi] Table filter is case sensitive

js/navigation.js

@@ -145,9 +145,11 @@ function PMA_setCookie(name, value, expires, path, domain, secure) {
  *
  */
 function fast_filter(value){
+    lowercase_value = value.toLowerCase();
     $("#subel0 a[class!='tableicon']").each(function(idx,elem){
         $elem = $(elem);
-        if (value && $elem.html().indexOf(value) == -1) {
+        // .indexOf is case sensitive so convert to lowercase to compare
+        if (value && $elem.html().toLowerCase().indexOf(lowercase_value) == -1) {
             $elem.parent().hide();
         } else {
             $elem.parent().show();