[Phpmyadmin-git] [phpmyadmin/phpmyadmin] ea2dd3: bug #4361 Can't change font size (when config.inc....