[Phpmyadmin-git] [phpmyadmin/website] c7dc72: Simplify code for naming versions