Bugfix in phpmyadmin::config