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/