Michal Čihař a écrit :

Hi

does anybody see reason for $pma_server_changed in libraries/auth/cookie.auth.lib.php? It seems to be only set and not used anywhere...

I confirm it's not used. I never saw a problem in the "AllowArbitraryServer" feature either.