[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 51d89d: Make $cookieName optional