[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 6fe98b: Fix an extraneous change from 0af8c39