Fix the Bug#4237 [ https://sourceforge.net/p/phpmyadmin/bugs/4237/ ]