From 87cb022f16bbcc22b7cd70ba873587624d218a99 Mon Sep 17 00:00:00 2001
From: Kamran <kamran.usman@gmail.com>
Date: Thu, 26 Sep 2013 16:45:02 +0200
Subject: [PATCH] Update navigation.js

allow regex based search in quick filter (javascript side)
---
 js/navigation.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/js/navigation.js b/js/navigation.js
index 4d2e68464b..9495b58cf9 100644
--- a/js/navigation.js
+++ b/js/navigation.js
@@ -994,7 +994,8 @@ var PMA_fastFilter = {
                 str = $(this).val().toLowerCase();
             }
             $obj.find('li > a').not('.container').each(function () {
-                if ($(this).text().toLowerCase().indexOf(str) != -1) {
+                var regex = new RegExp(str, 'i')
+                if (regex.test($(this).text().toLowerCase())) {
                     $(this).parent().show().removeClass('hidden');
                 } else {
                     $(this).parent().hide().addClass('hidden');