phpmyadmin/phpmyadmin — pull request #715 by thesocialgeek (2013-09-26 14:48:27+00:00)
Title: Update navigation.js to allow regex based search in quick filter (javascript side)

allow regex based search in quick filter (javascript side) (based on feature request here: http://sourceforge.net/p/phpmyadmin/feature-requests/1463/)

I will work on the server side regex based results as another pull request.