[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 38cf9a: Fix #11539 Rename table does not result in refresh...