From Alexander Kamp's comment on https://sourceforge.net/p/phpmyadmin/bugs/4710/:-
"You can question yourself the way parts of the navigation pane are saved temporary.
Generated HTML can be a risk when you don't verify it the next time you use it. (tested by adjusting variables -> it injects code into page). Maybe rebuilding from JSON data or add hash+check is an option."
Opinions are welcome on how important is this problem and hence on possible fixes?
Also, if I am not wrong, we decided to store navi tree html in sessionstorage to maintain its state on reload (particularly for non-current database nodes of the tree), we may try to implement this state maintenance some other way?
More so because on a reload a user actually expects all elements on page to get renewed for any changes on server-side, but currently to actually renew the navigation you need to click on "Reload navigation panel" link, and it doesn't get renewed on browser page reload..
Fix: https://github.com/phpmyadmin/phpmyadmin/commit/dc291426105f448b5039ae4392afaf2a2dc03ee1