phpmyadmin/phpmyadmin — pull request #766 by slimtim (2013-11-21 13:20:43+00:00)
Title: Prevent fatal PHP error when filtering tables in the navigation tree

This is a fix for bug #4159
https://sourceforge.net/p/phpmyadmin/bugs/4159/