[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 867431: Add a helper script to automate most of the work when changing version numbers