[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 751d41: fixing the case-sensitive issue of innodb_file_format