[phpMyAdmin Developers] session_destroy conflicts with other applications