phpmyadmin/phpmyadmin — pull request #1414 by Tithugues (2014-12-05 23:59:35+00:00)
Title: Fix #4593 Manual SELECT doesn't change active table

Would have you done this in another way ?
I don't like the fact that the menu reset is in ajax.js and sql.js because the json reading is not centralised…
Thanks for your feedback.