[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 0a1dd4: Fix a coding standard mistake