[Phpmyadmin-git] [phpmyadmin/phpmyadmin] e16d80: Single place to process font size