[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 6aed3a: Remove duplicate 'Server' element