Thanks for the fix, I also added https://github.com/phpmyadmin/phpmyadmin/commit/cc7957fac333e39983b425a7f2fe02c426f6dead