[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 851244: Use existing detection for showing server type