[Phpmyadmin-devel] Reason for $pma_server_changed

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... -- Michal Čihař | http://cihar.com | http://phpmyadmin.cz