[phpMyAdmin Git] [phpmyadmin/website] 5e16f7: Update the format of versions.ini