[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 003824: Improved rendering of new version information