[phpMyAdmin Git] [phpmyadmin/phpmyadmin] a23a3a: Fix #14488 - Type error