[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 4119b5: Adds html encoding for db name