[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 83d950: Bug fix: Fix triple HTML encoding