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.
