[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 9b6e22: Force full page reload on font size change