[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 807417: Fixes Table Highlighting