[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 923336: Fix "Error: Token mismatch" error in reloading nav...