Prevent fatal error when filtering tables in the navigation tree. (bug #4159)
Merge pull request #766 from slimtim/bug_4159

Prevent fatal PHP error when filtering tables in the navigation tree