[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 07c2f2: Add workaround for PHP bug