[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 87f11f: Add missing token parameter while changing servers